联锁逻辑模型的安全性分析

摘要：

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法.时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模.但利用时间Petri网无法严格证明其模型是安全的.提出了一种用于时间Petri网模型的安全性分析方法,该方法有效地结合故障树分析法和时间Petri网的各自优点,实际应用于联锁逻辑模型的安全性分析,并对不安全的模型提出修正方案.

关键词：联锁逻辑、故障树分析法、时间Petri网、安全性分析

所属期刊栏目：43

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金60674004

在线出版日期：2007-03-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1-4,32