A Fault Tree Analysis Method Supporting Model Checking
Zhe Chen · Computer and Digital Engineering · 2013
The paper specifies formal specification of fault tree with temporal logic.It extracts the temporal logic formula which describes the software safety property from the formal fault tree.Expert can use the extracted safety property do model checking of the safety-critical software and implement formal verification and analysis of its reliability and safety.The paper does the model checking to a part of a safety-critical software on the plane to demonstrate the method in detail.