Skip to main content

Research Repository

Advanced Search

Failure Mode Reasoning in Model Based Safety Analysis

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


Hamid Jahanian

Marc Zeller

Annabelle McIver


© 2020, Springer Nature Switzerland AG. 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.


Jahanian, H., Parker, D., Zeller, M., McIver, A., & Papadopoulos, Y. (2020). Failure Mode Reasoning in Model Based Safety Analysis. Lecture notes in computer science, 12297 LNCS, 130-145.

Journal Article Type Conference Paper
Conference Name International Symposium on Model-Based Safety and Assessment
Conference Location Lisbon, Portugal
Acceptance Date Jul 5, 2020
Online Publication Date Sep 4, 2020
Publication Date Sep 1, 2020
Deposit Date Apr 27, 2022
Publicly Available Date Jun 10, 2022
Journal Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Print ISSN 0302-9743
Electronic ISSN 1611-3349
Publisher Springer Verlag
Peer Reviewed Peer Reviewed
Volume 12297 LNCS
Pages 130-145
ISBN 9783030589196
Public URL


You might also like

Downloadable Citations