| 联锁逻辑模型的安全性分析 |
| |
| 引用本文： | 杜军威,徐中伟,王树梅.联锁逻辑模型的安全性分析[J].计算机工程与应用,2007,43(2):1-4,32. |
| |
| 作者姓名： | 杜军威 徐中伟 王树梅 |
| |
| 作者单位： | [1]同济大学电子与信息工程学院,上海200331 [2]青岛科技大学信息科学与技术学院,山东青岛266061 [3]徐州师范大学计算机学院,江苏徐州221116 |
| |
| 摘 要： | 故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。提出了一种用于时间Petri网模型的安全性分析方法,该方法有效地结合故障树分析法和时间Petri网的各自优点,实际应用于联锁逻辑模型的安全性分析,并对不安全的模型提出修正方案。
|
| 关 键 词： | 联锁逻辑 故障树分析法 时间Petri网 安全性分析 |
| 文章编号： | 1002-8331（2007）02-0001-04 |
| 修稿时间： | 2006-11 |
Safety analysis of interlocking logic model |
| |
| DU Jun-wei,XU Zhong-wei,WANG Shu-mei.Safety analysis of interlocking logic model[J].Computer Engineering and Applications,2007,43(2):1-4,32. |
| |
| Authors: | DU Jun-wei XU Zhong-wei WANG Shu-mei |
| |
| 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. |
| |
| Keywords: | interlocking logic fault tree analysis time Petri nets safety analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
