Simulation-based Safety Assessment of High-level Reliability Models

Simon József Nagy
(Budapest University of Technology and Economics)
Bence Graics
(Budapest University of Technology and Economics, MTA-BME Lendület Cyber-physical Systems Research Group)
Kristóf Marussy
(Budapest University of Technology and Economics, MTA-BME Lendület Cyber-physical Systems Research Group)
András Vörös
(Budapest University of Technology and Economics, MTA-BME Lendület Cyber-physical Systems Research Group)

Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees, according to the behavior described by the high-level engineering models and environmental/fault assumptions. Instead of creating low-level analysis models, our approach builds on engineering models in safety analysis by exploiting the simulation capabilities of recent probabilistic programming and simulation advancements. Thus, it could be applied in accordance with standards and best practices for the analysis of a critical automotive system as part of an industrial collaboration, while leveraging high-level block diagrams and statechart models created by engineers. We demonstrate the applicability of our approach in a case study adapted from the automotive system from the collaboration.

In Ansgar Fehnker and Hubert Garavel: Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), Dublin, Ireland, April 26, 2020, Electronic Proceedings in Theoretical Computer Science 316, pp. 240–260.
Published: 26th April 2020.

ArXived at: https://dx.doi.org/10.4204/EPTCS.316.9 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org