Automation of Safety Analysis for Cyber-Physical Systems of Transport Industry
Autosafe is a tool developed initially in collaboration with University Stuttgart to automate the fault tree generation process. AUTOSAFE aims not only to decrease the time required to develop fault trees but also improve their consistency and correctness. Fault Tree Analysis Tool Safety analysis is a key pillar of compliance demonstration for aircraft and other complex cyber-physical systems with the safety requirements of the certification authorities. Fault tree analysis is a well-established and accepted methodology for this purpose. However, with the growing complexity of systems, consisting of software and complex electronic hardware and their inter-dependencies, it is becoming increasingly challenging and costly to manually conduct fault tree analysis. It is not only time consuming and error prone but also the quality (e.g. consistency and correctness) of the analysis is highly dependent on the ability of the individual engineer. In order to address this issue, AUTOSAFE is being developed as a software tool to automate the fault tree generation process.
Our first submission ” AUTOSAFE: Automatic Fault Tree Synthesis for Cyber-Physical Systems” has been included at the 31st European Safety and Reliability Conference (ESREL2021). It has bee presented by safety and reliability engineer Muketaer Wumaierjiang and co-authored by Muketaer Wumaierjiang, Bradley Sams, Matthias Brunner, Björn Annighöfer, Robert Muirhead and Stuart Baskcomb.
Later we have started to develop the second stage of our research project in Autosafe 2.0. The results of our findings are being presented by our engineer Kamilla Shagazatova at SafeComp 2026, the 45th International Conference on Computer Safety, Reliability and Security hosted at the Universitat Politècnica de València (UPV), one of Spain’s leading technical universities. The presented paper “AUTOSAFE 2.0: Improved and Optimized Automation of Fault Tree Analysis” has been co-authored by Aigerim Bakytzhanova, Brad Sams, Robert Muirhead and Winfried Friedl. It presents AUTOSAFE 2.0, as a web-based tool for automated fault tree generation from model-based system descriptions, extending the Open Avionics Architecture Model with explicit failure propagation semantics. Key improvements include optimized synthesis using Binary Decision Diagrams, automated propagation-combination generation, integrated model verification, and XML-based interoperability with industrial tools such as Isograph. The copy of the position paper is available here.
Development of Autosafe was supported by Zentrale Innovationsprogramm Mittelstand (ZIM), an initiative of Bundesministerium für Wirtschaft und Energie.
The development of Autosafe 2.0 is supported by BIG (Brandenburgischer Innovationsgutschein) provided by the ILB (Investitionsbank des Landes Brandenburg).
