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
Y1 - 2009
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
T2 - ICROS-SICE International Joint Conference 2009, ICCAS-SICE 2009
Y2 - 18 August 2009 through 21 August 2009
ER -