SD
SIGNAL+DRAHT | Ausgabe 01-02/2015

formalSTAMP: Eine neue leistungsstarke Unfallanalyse für den Schienenverkehr

Februar 2015 | Dirk Spiegel, Eckehard Schnieder, René Hosse

Unfallanalysen dienen der retrospektiven Analyse von Unfallereignissen, um daraus für die Zukunft zu lernen und sichere Systeme zu entwickeln. Aufgrund unzureichender Analysemethoden wird oftmals das Erkenntnispotential nicht ausgeschöpft. Dieser Beitrag stellt die neue leistungsstarke Unfallanalyse formalSTAMP vor und integriert in diese Petrinetze zur formalen Unterstützung der Untersuchung. Abschließend wird die Methode auf den Wenzhou 7.23-Zugunfall exemplarisch angewendet und kritisch diskutiert.