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

DOI10.1080/13873954.2017.1298624MaRDI QIDQ5035705zbMATH OpenFDO

Authors Christian Schallert

Publication date 22 February 2022

Full work available at URL https://doi.org/10.1080/13873954.2017.1298624

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)

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

Cites work

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

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.

Describes a project that uses

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)