Failure Mode Reasoning in model based safety analysis

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

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

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 proceeding › Conference proceeding contribution › peer-review

Abstract

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 language	English
Title of host publication	Model-Based Safety and Assessment
Subtitle of host publication	7th International Symposium, IMBSA 2020 Lisbon, Portugal, September 14–16, 2020 Proceedings
Editors	Marc Zeller, Kai Höfig
Place of Publication	Cham, Switzerland
Publisher	Springer, Springer Nature
Pages	130-145
Number of pages	16
ISBN (Electronic)	9783030589202
ISBN (Print)	9783030589196
DOIs	https://doi.org/10.1007/978-3-030-58920-2_9
Publication status	Published - 2020
Event	7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020 - Lisbon, Portugal Duration: 14 Sept 2020 → 16 Sept 2020

Publication series

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

Conference

Conference	7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020
Country/Territory	Portugal
City	Lisbon
Period	14/09/20 → 16/09/20

Keywords

CFT
FMR
FTA
HiP-HOPS

Access to Document

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

Cite this

Jahanian, H., Parker, D., Zeller, M., McIver, A., & Papadopoulos, Y. (2020). Failure Mode Reasoning in model based safety analysis. In M. Zeller, & K. Höfig (Eds.), Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 Lisbon, Portugal, September 14–16, 2020 Proceedings (pp. 130-145). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12297 LNCS). Springer, Springer Nature. https://doi.org/10.1007/978-3-030-58920-2_9

Jahanian, Hamid ; Parker, David ; Zeller, Marc et al. / Failure Mode Reasoning in model based safety analysis. Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 Lisbon, Portugal, September 14–16, 2020 Proceedings. editor / Marc Zeller ; Kai Höfig. Cham, Switzerland : Springer, Springer Nature, 2020. pp. 130-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{fcf926a94f054b8396271fbb43557969,

title = "Failure Mode Reasoning in model based safety analysis",

abstract = "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.",

keywords = "CFT, FMR, FTA, HiP-HOPS",

author = "Hamid Jahanian and David Parker and Marc Zeller and Annabelle McIver and Yiannis Papadopoulos",

year = "2020",

doi = "10.1007/978-3-030-58920-2_9",

language = "English",

isbn = "9783030589196",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "130--145",

editor = "Marc Zeller and Kai H{\"o}fig",

booktitle = "Model-Based Safety and Assessment",

address = "United States",

note = "7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020 ; Conference date: 14-09-2020 Through 16-09-2020",

}

Jahanian, H, Parker, D, Zeller, M, McIver, A & Papadopoulos, Y 2020, Failure Mode Reasoning in model based safety analysis. in M Zeller & K Höfig (eds), Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 Lisbon, Portugal, September 14–16, 2020 Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12297 LNCS, Springer, Springer Nature, Cham, Switzerland, pp. 130-145, 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, Lisbon, Portugal, 14/09/20. https://doi.org/10.1007/978-3-030-58920-2_9

Failure Mode Reasoning in model based safety analysis. / Jahanian, Hamid; Parker, David; Zeller, Marc et al.
Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 Lisbon, Portugal, September 14–16, 2020 Proceedings. ed. / Marc Zeller; Kai Höfig. Cham, Switzerland: Springer, Springer Nature, 2020. p. 130-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12297 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Failure Mode Reasoning in model based safety analysis

AU - Jahanian, Hamid

AU - Parker, David

AU - Zeller, Marc

AU - McIver, Annabelle

AU - Papadopoulos, Yiannis

PY - 2020

Y1 - 2020

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

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

KW - CFT

KW - FMR

KW - FTA

KW - HiP-HOPS

UR - http://www.scopus.com/inward/record.url?scp=85091320746&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-58920-2_9

DO - 10.1007/978-3-030-58920-2_9

M3 - Conference proceeding contribution

AN - SCOPUS:85091320746

SN - 9783030589196

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 130

EP - 145

BT - Model-Based Safety and Assessment

A2 - Zeller, Marc

A2 - Höfig, Kai

PB - Springer, Springer Nature

CY - Cham, Switzerland

T2 - 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020

Y2 - 14 September 2020 through 16 September 2020

ER -

Jahanian H, Parker D, Zeller M, McIver A, Papadopoulos Y. Failure Mode Reasoning in model based safety analysis. In Zeller M, Höfig K, editors, Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 Lisbon, Portugal, September 14–16, 2020 Proceedings. Cham, Switzerland: Springer, Springer Nature. 2020. p. 130-145. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-58920-2_9

Failure Mode Reasoning in model based safety analysis

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this