Automated safety analysis by minimal path set detection for multi-domain object-oriented models

DOI10.1080/13873954.2017.1298624zbMATH Open1485.93419MaRDI QIDQ5035705FDOQ5035705

Authors: Christian Schallert 

Publication date: 22 February 2022

Recommendations

• Model Based Importance Analysis for Minimal Cut Sets
• Probabilistic model-based safety analysis
• Model-based safety assessment of a triple modular generator with xSAP
• Symbolic Fault Tree Analysis for Reactive Systems
• scientific article; zbMATH DE number 2033511

zbMATH Keywords

graph algorithmsfailure probabilitysafety analysisminimal path setmodelling and simulation of failuresstate space simulation

Mathematics Subject Classification ID

Application models in control theory (93C95) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

Cites Work

• Graph theory
• Depth-First Search and Linear Graph Algorithms

Cited In (3)

• Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
• Model Based Importance Analysis for Minimal Cut Sets
• Mode-automata: A new domain-specific construct for the development of safe critical systems.

Uses Software

• Modelica

This page was built for publication: Automated safety analysis by minimal path set detection for multi-domain object-oriented models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5035705)