Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Donnerstag, 1. Juli 2004; 15-17 Uhr
Haus 3, Raum 3.001 in der Rudower Chaussee 25

Das Institut für Informatik lädt zur Ringvorlesung ein:

Prof. Dr. W. Damm
Universität Oldenburg

Modellbasierte Sicherheitsanalyse in Stateame

Sicherheitsanalysen bilden einen intergralen Bestandteil der Entwicklung Sicherheitskritischer Systeme. Sie zeigen frühzeitig auf, ob Teilausfälle von Komponententen katastrophale Folgen haben können, und geben damit insbesondere Hinweise darüber, ob die vorgesehenen Fehlerteloranzkonzepte ausreichend sind, um Gesamtausfälle sicherheitskritischer Funktionen zu vermeinden.

Die Vorlesung führt ein in die modellbasierten Sicherheitsanalystechniken, die im Rahmen des EU Projektes ESAAC gemeinsam mit der europäsichen Luftfahrtindustrie entwickelt worden sind. Sie zeichnen sich zum einen dadurch aus, dass ein und die gleichen Systemmodelle für die Sicherheitsanalyse verwendet werden, welche auch als Spezifikationsmodelle für den Entwurf der elektronischen Systeme eingesetzt werden. Zum zweiten werden automatisch aus einem im Fehlerannahmen angereicherten Systemmodelle sogenannte Fehlerbäume erzeugt, welche alle Möglichkeiten charakterisieren, unter denen ein katastrohpales Ereignis im modellierten System unter den gegebenen Fehlerannahmen auftreten kann.

Adresse:
Humboldt-Universität zu Berlin
Institut für Informatik
Haus 3, Raum 001
Rudower Chaussee 25/Ecke Magnusstr.
12489 Berlin