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

摘要

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