Title :
A verification of fault tree for safety integrity level evaluation
Author :
Lee, Younghee ; Kim, Jinkyung ; Kim, Junghwan ; Moon, Il
Author_Institution :
Dept. of Chem. & Biomol. Eng., Yonsei Univeristy, Seoul, South Korea
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.
Keywords :
fault trees; formal verification; safety-critical software; computational tree logic; fault tree analysis; formal model; model checking; safety integrity level evaluation; verification; Aerospace safety; Fault trees; Hazards; IEC standards; Instruments; Logic; Risk management; Software safety; Tree graphs; US Department of Transportation; Computational Tree Logic; Fault Tree Analysis; Safety Integrity Level;
Conference_Titel :
ICCAS-SICE, 2009
Conference_Location :
Fukuoka
Print_ISBN :
978-4-907764-34-0
Electronic_ISBN :
978-4-907764-33-3
