联锁系统形式化模型安全性评估.pdfVIP

微电子学与计算机 2007年第24卷第8期 联锁系统形式化模型的安全性评估 杜军威’，2，徐中伟 ‘ (1同济大学电子与信息工程学院，上海200331; 2青岛科技大学信息科学与技术学院，山东青岛266061) 摘 要:根据联锁系统的享故危害度分类，有效地结合故障树分析法和、Petri网可达图分析的各自优点，提出一种 用于评估联锁系统Petri模型的安全性的方法，并通过实例验证其有效性。 关健词:安全苛求系统;故障树分析法;Petri网;安全性评估 中图分类号:TP39 文献标识码:A 文章编号:1朋0一7180(2007)08一0014一04 SafetyAssessmentofInterlockingFormalModel DUJun一wei’2，XUZhong一wei’