Erfolgreiche Publikation auf der ATVA 2008

20.10.2008 Verkehr

In Seoul wurde vom 20. bis zum 23. Oktober auf der ATVA 2008 - dem 6th International Symposium on Automated Technology for Verification and Analysis- die erfolgreiche OFFIS-Veröffentlichung mit dem Titel "Model based importance analysis for minimal cut sets" vorgestellt. Detaillierte Sicherheitsanalysen im Entwurf sicherheitskritischer Systeme  (z.B. Flugzeuge, Eisenbahnen, etc.) sind unabdingbar. In dieser OFFIS-Publikation wird gezeigt, wie Fehlerinjektion mit aktuellen Forschungsergebnissen im Bereich formaler Analysen stochastischer Modelle kombiniert werden kann, um die Analyse sicherheitskritischer Systeme zu verbessern und zu vereinfachen. Basierend auf einer etablierten Notation für die Systemmodellierung (Statecharts), erweitert um Techniken für die Spezifikation von Fehlerraten, wird untersucht, wie groß der Beitrag einzelner Fehlerkonfigurationen am Erreichen sicherheitskritischer (katastrophaler) System-zustände ist.

Mehr zur Konferenz finden Sie hier.