作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2007, Vol. 33 ›› Issue (13): 16-18,4. doi: 10.3969/j.issn.1000-3428.2007.13.006

• 博士论文 • 上一篇    下一篇

Petri网模型的FTA安全性分析

杜军威1,2,徐中伟1   

  1. (1. 同济大学电子与信息工程学院,上海 200331;2. 青岛科技大学信息科学与技术学院,青岛 266061)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-07-05 发布日期:2007-07-05

Safety Analysis of Petri Net Model Based on FTA

DU Junwei1,2, XU Zhongwei1   

  1. (1. School of Electronics & Information Engineering, Tongji University, Shanghai 200331; 2. School of Information Science and Technology, Qingdao University of Science and Technology, Qingdao 266061)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-07-05 Published:2007-07-05

摘要: 故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统可靠性和安全性的一种有效方法。Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。该文提出一种用于Petri网模型的安全性分析方法,有效地结合故障树分析法和Petri网可达图分析的各自优点,并实际应用于联锁逻辑模型的安全性分析。

关键词: 联锁逻辑, 故障树分析法, Petri网, 安全性分析

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

Key words: interlocking logic, fault tree analysis, Petri net, safety analysis

中图分类号: