Diplom-/Masterarbeit bzw. Forschungsarbeit unter Anleitung

Entwicklung eines Werkzeugs zur quantitativen Analyse sicherheitskritischer Systeme

Hintergrund

Sicherheitskritische Systeme sind Systeme, deren Betrieb mit Risiken, wie z.B. hohen finanziellen Verlusten, Verschmutzung der Umwelt, oder der Gefährdung von Menschenleben einhergeht. Sie müssen daher über eine große Zuverlässigkeit und ggf. über eine Notabschaltung verfügen, die das System in einen sicheren Zustand überführt.

Bei der Bewertung dieser Systeme ergeben sich zwei Fragestellungen:

• Wie hoch ist die Wahrscheinlichkeit eines gefährlichen Unfalls?
• Wie hoch ist die Wahrscheinlichekit, dass sich das System grundlos abschaltet?

An der TU-München wurde zur Beantwortung dieser Fragen das Konzept zum Werkzeug SafeME entworfen, das ein Modell des Systems analysiert und beide Wahrscheinlichekeiten mittels sog. Zustandsraum-basierter Methoden ermittelt.

Aufgabe

Im Rahmen der Arbeit soll dieses Konzept in ein Software-Werkzeug umgesetzt werden. Dies erfolgt durch die Erweiterung bereits bestehenden Codes für das Werkzeug OpenSESAME zur Bewertung hochverfügbarer Systeme. Im einzelnen sind folgende Teilaufgaben zu erledigen:

• Erweiterung der graphischen Benutzeroberfläche von OpenSESAME, so dass neben hochverfügbaren Systemen auch sicherheitskritische Systeme modelliert werden können.
• Implementierung einer Transformation des Eingabemodells in eine Zwischendarstellung (Die Syntax und Semantik dieser Darstellung ist gegeben)
• Erstellung repräsentativer Benchmark-Modelle von sicherheitskritischen Systemen zu Testzwecken.

Anforderungen

• eigenständiges, strukturiertes Arbeiten
• grundlegender Umgang mit Eclipse (IDE)
• gute Programmierkenntnisse (Java)
• Grundkenntnisse in Wahrscheinlichkeitsrechnung

Kontakt und Betreuung:

Dr. Max Walter (Lehreinheit I10)