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

摘要：

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

关键词：计算机联锁、联锁逻辑测试、安全要求、实施规范

所属期刊栏目：18

分类号：U284.36+2(铁路通信、信号)

在线出版日期：2017-07-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：68-70