公开(公告)号：KR100773762B1

公开(公告)日：2007-11-09

申请号：KR1020060096385

申请日：2006-09-29

Applicant: 한국전자통신연구원

Inventor： 김태호 ,  임채덕

IPC: G06F11/28 ,  G06F11/30

Abstract: 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).

Abstract translation: 提供了一种从定时转换系统生成故障树的方法，通过生成目标故障树来有效预测和分析定时转换系统的故障模式。 一种用于从定时转换系统生成故障树的方法包括以下步骤：当输入定时转换系统的状态转移图（S510）时，通过使用根据时间限制的条件来扩展输入状态转移图，作为 变量（S520）; 通过将扩展状态转换图中与特定状态对应的节点识别为最危险状态来跟踪最危险状态的发生的原因（S530）; 基于跟踪结果重新配置先前定义的故障分析帧（S540）; 并根据重新配置的故障树分析框自动生成定时转换系统的故障树（S550）。