面向安全的计算机联锁系统联锁逻辑测试实施规范

• 作者: 王芳萌
• 来源期刊: 城市轨道交通研究
• 学科: 交通运输
• 关键词: 计算机联锁 联锁逻辑测试 安全要求 实施规范
• 年，卷（期）: 2015,（z2）
• 所属期刊栏目: 研究报告
• 页码范围: 68-70
• 页数: 3页
• 分类号: U284.36+2
• 字数: 2892字
• 语种: 中文

摘要

PMI(计算机联锁)是CBTC(基于通信的列车控制)系统中实现联锁计算的子系统.分析了由城市轨道交通信号固有的逻辑耦合以及自仪泰雷兹面向客户功能需求的系统开发模式造成的PMI联锁逻辑的复杂性;概述了城市轨道交通系统所承担的巨大公共安全责任和实时高强度运营负荷,对PMI联锁逻辑的安全性和可靠性提出的要求;介绍了面向安全的PMI联锁逻辑测试实施规范;介绍了基于规范的PMI联锁逻辑测试实施工具的开发,并提出了进一步开发的几点构想.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王芳萌		1	1	1.0	1.0