METHOD FOR GENERATING FAULT TREE FROM TIMED TRANSITION SYSTEM

摘要

A method for generating a fault tree from a timed transition system is provided to efficiently predict and analyze a fault mode of the timed transition system by generating the objective fault tree. A method for generating a fault tree from a timed transition system includes the steps of: when a state transition diagram of the timed transition system is input(S510), expanding the input state transition diagram by using a condition according to a time limit as a variable(S520); tracking a cause of occurrence of the most dangerous state by recognizing a node corresponding to a specific state in the expanded state transition diagram as the most dangerous state(S530); reconfiguring a previously defined fault analysis frame on the basis of the tracking result(S540); and automatically generating the fault tree of the timed transition system on the basis of the reconfigured fault tree analysis frame(S550).