一种信号系统安全分析建模的设计与实现

• 作者: 吴卫平 李澎东 胡剑
• 来源期刊: 机车电传动
• 学科: 交通运输
• 关键词: Petri网 信号系统 安全分析 混合建模
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 研究开发
• 页码范围: 66-69,78
• 页数: 5页
• 分类号: U284|TP391.9
• 语种: 中文
• DOI: 10.13890/j.issn.1000-128x.2018.03.013

摘要

为提高信号系统安全隐患分析效率, 必须研究某一时刻多处失效的运营场景.当前有限自动机建模不能解决上述问题, 设计一种用于信号系统安全分析的混合建模方法, 一方面采用有限自动机建模进行某一处失效的安全隐患分析, 另一方面采用Petri网建模进行多处失效且为异步并发的安全隐患分析.通过上述建模确定特定运营场景相关参数及性能指标, 采用软件工具 (例如VC6.0) 实现信号系统安全分析模拟器.系统分析师通过安全分析模拟器进行系统安全分析, 从而减少人为经验错误, 提高信号系统安全隐患分析效率, 避免重大安全隐患.