Hamid Jahanian
Failure Mode Reasoning in Model Based Safety Analysis
Jahanian, Hamid; Parker, David; Zeller, Marc; McIver, Annabelle; Papadopoulos, Yiannis
Authors
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
You might also like
Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance
(2010)
Book Chapter
Automatic allocation of safety requirements to components of a software product line
(2015)
Journal Article