列控车载ATP控制模式建模与仿真

• 作者: 刘浩 张旭 罗丽燕
• 来源期刊: 大功率变流技术
• 学科: 交通运输
• 关键词: 列车自动防护系统 安全完整性等级 控制模式 图形化建模 覆盖率分析
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 信息技术与系统
• 页码范围: 44-48
• 页数: 5页
• 分类号: U284
• 语种: 中文
• DOI: 10.13889/j.issn.2096-5427.2018.04.010

摘要

列车自动防护系统 (ATP) 用于为列车提供完整的超速防护功能, 具有较高的软件安全等级.文章通过对ATP模式转换关系的研究, 采用了与传统手工编码方式不同的模型化方式, 实现对ATP控制模式功能模块的建模、仿真及测试, 能够有效克服传统开发方法中存在的人工编码工作量大、易出错、测试困难等问题.仿真和集成测试结果验证了该方法的可行性.