VERLÄSSLICHKEIT VON SYSTEMEN UND SOFTWARE

In diesem Seminar werden verlässliche Systeme (dependable systems) behandelt. Zur Einführung folgt ein Abschnitt aus dem Buch:

Dependability: basic concepts and terminology : in English, French, German, Italian and Japanese / J. C. Laprie (ed.). – Wien : Springer, 1992. – (Dependable computing and fault-tolerant systems ; 5)

Verlässlichkeit wird definiert als die Eigenschaft eines Systems, dass begründbares Vertrauen in die Leistung, die es erbringt, gesetzt werden kann.

„Verlässlich“ hat verschiedene Aspekte:

	im Hinblick auf das Bereitsein zum Gebrauch bedeutet es verfügbar;
	im Hinblick auf die Kontinuität der Leistung bedeutet es funktionsfähig;
	im Hinblick auf die Vermeidung von katastrophalen Folgen für die Umgebung bedeutet es sicher;
	im Hinblick auf die Verhinderung von nicht autorisiertem Zugriff und/oder der nicht autorisierten Handhabung von Informationen bedeutet es geschützt.

Die Entwicklung von verlässlichen Systemen verlangt nach der Verwendung einer Reihe von Methoden, die folgendermaßen klassifiziert werden können:

	Fehlerverhinderung: wie das Auftreten und die Einführung von Fehlern verhindert werden kann;
	Fehlertoleranz: wie eine Leistung zur Verfügung gestellt werden kann, die trotz Fehlern mit der Spezifikation übereinstimmt;
	Fehlerbeseitigung: wie die Anwesenheit von Fehlern (Anzahl und Schwere) reduziert werden kann;
	Fehlervorhersage: wie die augenblickliche Zahl, das zukünftige Auftreten und die Folgen von Fehlern abgeschätzt werden können.

Alle Sitzungen finden statt im Gebäude 27.2, Raum H05 (Seminarraum 1).

	Holger Hermanns, Raum 501
	David N. Jansen, Raum 534

Bevor Sie in Ihr eigentliches Thema einsteigen, tragen Sie in etwa 10 Minuten zur Einstimmung eine „Horrorstory“ vor von einem tatsächlichen Ausfall in einem Software-System, das verlässliche zu sein hätte. Sie können sich eventuell von einer Liste im Internet inspirieren lassen: hier oder hier, aber Ihre eigenen Funde sind natürlich hochwillkommen!

Kommen Sie spätestens eine Woche vor Ihrem Vortrag bei Ihrem Betreuer vorbei, um das Konzept der Folien oder der Seminararbeit durchzusprechen. Das Ziel ist, dass dann schon die Gliederung und der grobe Inhalt des Vortrags klar sind. (Für eine Stunde Vortrag rechnet man etwa 30 Folien.)

Ihre definitive Seminararbeit geben Sie bitte spätestens am 16. Juli, 12.00 Uhr ab.

Bedingungen zur Scheinvergabe: Vortrag und Seminararbeit, Einhalten der obigen Bedingungen (Termine). Die Note basiert auf der Qualität Ihres Vortrags und Ihrer Seminararbeit.

Hierunter finden Sie Vorschläge für Literatur, die Sie zugrundelegen können.

Sie müssen neben diesen Vorschlägen mindestens eine weitere Quelle verwenden. Wenn Sie einen Vorschlag nicht sinnvoll finden, nehmen Sie bitte Kontakt mit Ihrem Begleiter auf.

Zuletzt geändert am 22. Juni 2004 von David N. Jansen.