A verification of fault tree for safety integrity level evaluation

Younghee Lee, Jinkyung Kim, Junghwan Kim, Il Moon

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Abstract

This study focuses on a novel approach which automatically proves the correctness and completeness of fault trees based on a formal model by model checking. This study represents that the model checking technique is useful when validating the correctness of informal safety analysis such as FTA. The benefits of this study are that it provides the probability of formally validating FTA by proving correctness and completeness of the fault trees. In addition to this benefit, it is possible that the CTL technique proves the FTA based SIL.

Original languageEnglish
Title of host publicationICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings
Pages5548-5551
Number of pages4
Publication statusPublished - 2009
EventICROS-SICE International Joint Conference 2009, ICCAS-SICE 2009 - Fukuoka, Japan
Duration: 2009 Aug 182009 Aug 21

Publication series

NameICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings

Other

OtherICROS-SICE International Joint Conference 2009, ICCAS-SICE 2009
CountryJapan
CityFukuoka
Period09/8/1809/8/21

All Science Journal Classification (ASJC) codes

  • Information Systems
  • Control and Systems Engineering
  • Industrial and Manufacturing Engineering

Fingerprint Dive into the research topics of 'A verification of fault tree for safety integrity level evaluation'. Together they form a unique fingerprint.

  • Cite this

    Lee, Y., Kim, J., Kim, J., & Moon, I. (2009). A verification of fault tree for safety integrity level evaluation. In ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings (pp. 5548-5551). [5334238] (ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings).