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

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

Safety-oriented PMI Interlocking Logic Validation Implementation Specification

PMI (Poste de Manoeuvre Informatisé, computer-based interlocking system) is an interlocking sub-system of CBTC signaling system.Firstly, the complexity of PMI logic validation is analyzed, which is caused by both the inherent logic coupling and the customer-oriented system developed by TST.Secondly, the great public safety responsibilities and the real-time high-intensity operation load undertaken by subway system require a guarantee for the safety and reliability of PMI interlocking logic system.Finally, the safety-oriented PMI logic validation implement specification is introduced, together with the development of implementation tools based on the specification, several visions for further develop are proposed.