SIGNAL+DRAHT | Ausgabe 01-02/2015
formalSTAMP: Eine neue leistungsstarke Unfallanalyse für den Schienenverkehr
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.