Probabilistic model-based safety analysis

MaRDI QIDQ5151038zbMATH OpenFDO

Authors Matthias Güdemann, Frank Ortmeier

Publication date 16 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2010.8

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Based Importance Analysis for Minimal Cut Sets
• Failure propagation modeling and analysis via system interfaces
• Model-based safety assessment of a triple modular generator with xSAP
• Model checking probabilistic systems
• scientific article; zbMATH DE number 2017338

Cited in

(12)

• scientific article; zbMATH DE number 5041479 (Why is no real title available?)
• Failure propagation modeling and analysis via system interfaces
• Automated safety analysis by minimal path set detection for multi-domain object-oriented models
• scientific article; zbMATH DE number 2017338 (Why is no real title available?)
• Formal safety assessment via contract-based design
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond
• Risk-Sensitive Safety Analysis Using Conditional Value-at-Risk
• Model-based safety assessment of a triple modular generator with xSAP
• Some Reliability Models for Safety Assessment
• Model Based Importance Analysis for Minimal Cut Sets
• Risk-based predictive maintenance for safety-critical systems by using probabilistic inference
• Safe probability

This page was built for publication: Probabilistic model-based safety analysis

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