Failure Mode Reasoning in Model Based Safety Analysis

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

doi:10.1007/978-3-030-58920-2_9

Authors

Hamid Jahanian

Dr David Parker D.J.Parker@hull.ac.uk
Lecturer

Marc Zeller

Annabelle McIver

Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
Professor

Abstract

© 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.

Citation

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. https://doi.org/10.1007/978-3-030-58920-2_9

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
DOI	https://doi.org/10.1007/978-3-030-58920-2_9
Public URL	https://hull-repository.worktribe.com/output/3623211

Files

Accepted manuscript (1.3 Mb)
PDF

Copyright Statement
This is a post-peer-review, pre-copyedit version of an article published in Lecture Notes in Computer Science. The final authenticated version is available online at: https://dx.doi.org/10.1007/978-3-030-58920-2_9