摘要
故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统可靠性和安全性的一种有效方法。Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。该文提出一种用于Petri网模型的安全性分析方法,有效地结合故障树分析法和Petri网可达图分析的各自优点,并实际应用于联锁逻辑模型的安全性分析。
Fault tree analysis（FTA） can be used to analyze the events and states of system failure. It is an effective method in analyzing the reliability and safety of safety-critical system. Petri nets describing and analyzing concurrent system can be used to model dynamic behavior of the system. Safety of the model constructed by Petri nets can＇t be proved strictly by analysis methods of itself. A new method combining the advantages of Petri nets and FTA is presented. And the model of interlocking system is analyzed by this method.
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第13期16-18,48,共4页
Computer Engineering
基金
国家自然科学基金资助项目(60674004)
