Failure Mode Reasoning in model based safety analysis

Hamid Jahanian*, David Parker, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review


Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of the SIS. In this paper we use a case study from the power industry to demonstrate how FMR can be utilized in conjunction with other model-based safety analysis methods, such as HiP-HOPS and CFT, in order to achieve a comprehensive safety analysis of SIS. In this case study, FMR covers the analysis of SIS inputs while HiP-HOPS/CFT models the faults of logic solver and final elements. The SIS program is analyzed by FMR and the results are exported to HiP-HOPS/CFT via automated interfaces. The final outcome is the collective list of SIS failure modes along with their reliability measures. We present and review the results from both qualitative and quantitative perspectives.

Original languageEnglish
Title of host publicationModel-Based Safety and Assessment
Subtitle of host publication7th International Symposium, IMBSA 2020 Lisbon, Portugal, September 14–16, 2020 Proceedings
EditorsMarc Zeller, Kai Höfig
Place of PublicationCham, Switzerland
PublisherSpringer, Springer Nature
Number of pages16
ISBN (Electronic)9783030589202
ISBN (Print)9783030589196
Publication statusPublished - 2020
Event7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020 - Lisbon, Portugal
Duration: 14 Sept 202016 Sept 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12297 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020


  • CFT
  • FMR
  • FTA
  • HiP-HOPS


Dive into the research topics of 'Failure Mode Reasoning in model based safety analysis'. Together they form a unique fingerprint.

Cite this