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

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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

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)

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

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)