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

被引：4

作者：

张福新 ^{[1
]}

杜玉越 ^{[2
]}

机构：

[1] 山东科技大学信息科学与工程学院

[2] 中国科学院计算机科学国家重点实验室

来源：

计算机应用研究 | 2009年 / 26卷 / 08期

关键词：

联锁系统; 故障树分析; 最小割集; Petri网; 联锁安全检测器; 安全测试;

D O I：

暂无

中图分类号：

U284.362 [];

学科分类号：

082302 ;

摘要：

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

引用

页码：3039 / 3043

页数：5