计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (2): 1-1.
• 博士论坛 • 下一篇
杜军威,徐中伟,王树梅
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
Jun-Wei Du,Zhong-Wei Xu,Shu-Mei Wang
Received:
Revised:
Online:
Published:
Contact:
摘要： 故障树分析法( FTA) 用于静态分析系统失效的可能事件和状态，是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统，用于系统行为的动态建模。但利用时间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. Time Petri nets (TPN) describing temporal concurrent system can be used to model dynamic behavior of the system. However, safety of the model, constructed by TPN, can't be proved strictly by TPN itself. In this paper, a new method, combining the advantages of TPN and FTA, is presented. The models of interlocking system are analyzed by this method and some reformative approaches to the unsafe models are also proposed.
杜军威,徐中伟,王树梅. 联锁逻辑模型的安全性分析[J]. 计算机工程与应用, 2007, 43(2): 1-1.
Jun-Wei Du,Zhong-Wei Xu,Shu-Mei Wang. Safety Analysis of Interlocking Logic model[J]. Computer Engineering and Applications, 2007, 43(2): 1-1.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/
http://cea.ceaj.org/CN/Y2007/V43/I2/1
