Failure Mode Reasoning in Model Based Safety Analysis

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

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. Failure Mode Reasoning in Model Based Safety Analysis. Presented at International Symposium on Model-Based Safety and Assessment, Lisbon, Portugal

• Presentation Conference Type: Conference Paper (published)
• Conference Name: International Symposium on Model-Based Safety and Assessment
• 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
• 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