A proposal for model-based safety analysis

Anjali Joshi, Steven P. Miller, Michael W Whalen, Mats Heimdahl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

91 Scopus citations


System safety analysis techniques are well established and are used extensively during the design of safety-critical systems. Despite this, most of the techniques are highly subjective and dependent on the skill of the practitioner. Since these analyses are usually based on an informal system model, it is unlikely that they will be complete, consistent, and error free. In fact, the lack of precise models of the system architecture and its failure modes often forces the safety analysts to devote much of their effort to finding undocumented details of the system behavior and embedding this information in the safety artifacts such as the fault trees. In this paper we propose an approach, Model-Based Safety Analysis, in which the system and safety engineers use the same system models created during a model-based development process. By extending the system model with a fault model as well as relevant portions of the physical system to be controlled, automated support can be provided for much of the safety analysis. We believe that by using a common model for both system and safety engineering and automating parts of the safety analysis, we can both reduce the cost and improve the quality of the safety analysis. Here we present our vision of model-based safety analysis and discuss the advantages and challenges in making this approach practical.

Original languageEnglish (US)
Title of host publication24th DASC
Subtitle of host publication24th Digital Avionics Systems Conference - Proceedings
StatePublished - 2005
Event24th DASC: 24th Digital Avionics Systems Conference - Washington, DC, United States
Duration: Oct 30 2005Nov 3 2005

Publication series

NameAIAA/IEEE Digital Avionics Systems Conference - Proceedings


Conference24th DASC: 24th Digital Avionics Systems Conference
Country/TerritoryUnited States
CityWashington, DC


Dive into the research topics of 'A proposal for model-based safety analysis'. Together they form a unique fingerprint.

Cite this