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

摘要

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