改进的最小割集生成算法与联锁系统模型的安全性测试

• 作者: 张福新 杜玉越
• 来源期刊: 计算机应用研究
• 关键词: 联锁系统 故障树分析 最小割集 Petri网 联锁安全检测器 安全测试
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 信息安全技术
• 页码范围: 3039-3043
• 页数: 5页
• 分类号: TP206.3
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.08.070

摘要

为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法.根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态.最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜玉越	中国科学院计算机科学国家重点实验室	8	74	4.0	8.0
2	张福新	山东科技大学信息科学与工程学院	3	10	2.0	3.0