Formale Sicherheitsanalyse

Sicherheit und Verlasslichkeit gewinnt immer mehr an Bedeutung bei der Entwicklung moderner eingebetteter Systeme. Dass in diesem Sektor grosser Nachholbedarf besteht, zeigen beispielsweise viele schwere Unfalle aus den Bereichen Luftfahrt, Bahnverkehr und Energiegewinnung innerhalb nur weniger Jahre. Ein wesentlicher Grund fur dieses Defizit sind veraltete Analysetechniken und die steigende Komplexitat aktueller, sicherheitskritischer Systeme. Diese Arbeit stellt neue Methoden zur Untersuchung der Sicherheit vor und zeigt anhand von Beispielen wie diese in verschiedene Bereichen eingesetzt werden kann. Die Kernidee ist dabei das Fachwissen der Domanenexperten, die Exaktheit der formalen Methoden und die Rechenleistung moderner Computer zu verbinden, um eine umfassende sicherheitstechnische Einschatzung eines Systems zu bekommen. Hierzu wird ein durchgangiger Analyseprozess vorgestellt und an Beispielen illustriert.