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

• 作者: 徐中伟 杜军威
• 来源期刊: 微电子学与计算机
• 关键词: 安全苛求系统 故障树分析法 Petri网 安全性评估
• 年，卷（期）: 2007,（8）
• 页码范围: 14-17,21
• 页数: 5页
• 分类号: TP39
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2007.08.005

摘要

根据联锁系统的事故危害度分类,有效地结合故障树分析法和Petri网可达图分析的各自优点,提出一种用于评估联锁系统Petri模型的安全性的方法,并通过实例验证其有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	杜军威	同济大学电子与信息工程学院	50	341	9.0	17.0