Behavioral fault modeling for model-based safety analysis

Anjali Joshi, Mats P.E. Heimdahl

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

25 Scopus citations

Abstract

Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic generation of safety artifacts. Since safety analysis requires knowledge of the component faults and failure modes, one also needs to formalize and incorporate the system fault behavior into the nominal system model. Fault behaviors typically tend to be quite varied and complex, and incorporating them directly into the nominal system model can clutter it severely. This manual process is error-prone and also makes model evolution difficult. These issues can be resolved by separating the fault behavior from the nominal system model in the form of a "fault model", and providing a mechanism for automatically combining the two for analysis. Towards implementing this approach we identify key requirements for a flexible behavioral fault modeling notation. We formalize it as a domain-specific language based on Lustre, a textual synchronous dataflow language. The fault modeling extensions are designed to be amenable for automatic composition into the nominal system model.

Original languageEnglish (US)
Title of host publicationProceedings - 10th IEEE International Symposium on High Assurance Systems Engineering, HASE 2007
Pages199-208
Number of pages10
DOIs
StatePublished - Dec 1 2007
Event10th IEEE International Symposium on High Assurance Systems Engineering, HASE 2007 - Dallas, TX, United States
Duration: Nov 14 2007Nov 16 2007

Publication series

NameProceedings of IEEE International Symposium on High Assurance Systems Engineering
ISSN (Print)1530-2059

Other

Other10th IEEE International Symposium on High Assurance Systems Engineering, HASE 2007
Country/TerritoryUnited States
CityDallas, TX
Period11/14/0711/16/07

Fingerprint

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

Cite this