Model Based Importance Analysis for Minimal Cut Sets

DOI10.1007/978-3-540-88387-6_27MaRDI QIDQ3540081zbMATH OpenOpenAlexFDO

Authors Eckard Böde, Thomas Peikenkamp, Jan Rakow, Samuel Wischmeyer

Publication date 20 November 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88387-6_27

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Traffic problems in operations research (90B20) Reliability, availability, maintenance, inspection in operations research (90B25)

Recommendations

• Probabilistic model-based safety analysis
• Symbolic Fault Tree Analysis for Reactive Systems
• Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
• Automated safety analysis by minimal path set detection for multi-domain object-oriented models
• Failure propagation modeling and analysis via system interfaces

Cites work

• A calculus of communicating systems
• A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
• Automated compositional Markov chain generation for a plain-old telephone system
• Branching time and abstraction in bisimulation semantics
• Interactive Markov chains. And the quest for quantified quality
• Model checking compositional Markov systems.
• Sigref – A Symbolic Bisimulation Tool Box

Cited in

(5)

• Failure propagation modeling and analysis via system interfaces
• Model-based safety assessment of a triple modular generator with xSAP
• Finding boundary elements in ordered sets with application to safety and requirements analysis
• Automated safety analysis by minimal path set detection for multi-domain object-oriented models
• Probabilistic model-based safety analysis

Describes a project that uses

Uses Software

• SIGREF
• MRMC

This page was built for publication: Model Based Importance Analysis for Minimal Cut Sets

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