Petri网模型的FTA安全性分析

摘要：

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

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

所属期刊栏目：33

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

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

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

页数：共4页

页码：16-18,48