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

10 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 Dec 1
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

Fingerprint

Model checking

All Science Journal Classification (ASJC) codes

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

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).
Lee, Younghee ; Kim, Jinkyung ; Kim, Junghwan ; Moon, Il. / A verification of fault tree for safety integrity level evaluation. ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings. 2009. pp. 5548-5551 (ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings).
@inproceedings{a2d9d53f256f42bfbc90fe74e9713068,
title = "A verification of fault tree for safety integrity level evaluation",
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.",
author = "Younghee Lee and Jinkyung Kim and Junghwan Kim and Il Moon",
year = "2009",
month = "12",
day = "1",
language = "English",
isbn = "9784907764333",
series = "ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings",
pages = "5548--5551",
booktitle = "ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings",

}

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., 5334238, ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings, pp. 5548-5551, ICROS-SICE International Joint Conference 2009, ICCAS-SICE 2009, Fukuoka, Japan, 09/8/18.

A verification of fault tree for safety integrity level evaluation. / Lee, Younghee; Kim, Jinkyung; Kim, Junghwan; Moon, Il.

ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings. 2009. p. 5548-5551 5334238 (ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings).

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

TY - GEN

T1 - A verification of fault tree for safety integrity level evaluation

AU - Lee, Younghee

AU - Kim, Jinkyung

AU - Kim, Junghwan

AU - Moon, Il

PY - 2009/12/1

Y1 - 2009/12/1

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

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

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

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

M3 - Conference contribution

AN - SCOPUS:77951126623

SN - 9784907764333

T3 - ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings

SP - 5548

EP - 5551

BT - ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings

ER -

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