Formale Sicherheitsanalyse

Sicherheit und Verläßlichkeit gewinnt immer mehr an Bedeutung bei der Entwicklung moderner eingebetteter Systeme. Dass in diesem Sektor großer Nachholbedarf besteht, zeigen beispielsweise viele schwere Unfälle aus den Bereichen Luftfahrt, Bahnverkehr und Energiegewinnung innerhalb nur weniger Jahre. Ein wesentlicher Grund für dieses Defizit sind veraltete Analysetechniken und die steigende Komplexität 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 Domänenexperten, die Exaktheit der formalen Methoden und die Rechenleistung moderner Computer zu verbinden, um eine umfassende sicherheitstechnische Einschätzung eines Systems zu bekommen. Hierzu wird ein durchgängiger Analyseprozess vorgestellt und an Beispielen illustriert.