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

面向安全的计算机联锁系统联锁逻辑测试实施规范 王芳萌 上海自仪泰雷兹交通自动化系统有限公司 X 关注成功！ 加关注后您将方便地在 我的关注中得到本文献的被引频次变化的通知！ 新浪微博 腾讯微博 人人网 开心网 豆瓣网 网易微博 摘????要： PMI (计算机联锁) 是CBTC (基于通信的列车控制) 系统中实现联锁计算的子系统。分析了由城市轨道交通信号固有的逻辑耦合以及自仪泰雷兹面向客户功能需求的系统开发模式造成的PMI联锁逻辑的复杂性;概述了城市轨道交通系统所承担的巨大公共安全责任和实时高强度运营负荷, 对PMI联锁逻辑的安全性和可靠性提出的要求;介绍了面向安全的PMI联锁逻辑测试实施规范;介绍了基于规范的PMI联锁逻辑测试实施工具的开发, 并提出了进一步开发的几点构想。 关键词： 计算机联锁; 联锁逻辑测试; 安全要求; 实施规范; 收稿日期：2015-06-12 Safety-oriented PMI Interlocking Logic Validation Implementation Specification Wang Fangmeng Thales Saic Transportation System Limited Company; Abstract： 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. Keyword： PMI; interlocking logic validation; safety re quirement; implementation specification; Received： 2015-06-12 信号系统是保证城市轨道交通系统安全运营的控制中枢, 同时也是提高其运营效率和运输质量的关键。CBTC (基于通信的列车控制) 系统已成为我国城市轨道交通的主流信号系统, 被广泛采用。泰雷兹的SelTrac?CBTC信号系统是由多个子系统组成、具有复杂内部结构和外部接口的复杂系统。PMI (Poste de Manoeuvre Informatisé, 计算机联锁) 作为CBTC系统的子系统之一, 担负着联锁计算的核心任务。PMI本身的可靠性和效率, 极大地影响CBTC系统整体的安全性和效率。为此, 除了合理的系统设计和高质量的软件生成外, 完备有效的测试验证体系必不可少。PMI测试验证体系主要包括5项内容: (1) 面向信号运营, 基于宏观操作的功能测试; (2) 面向现场部署, 基于真实平台的安装测试; (3) 面向实际数据, 基于软件参数的验证测试; (4) 面向联锁逻辑, 基于微观状态的逻辑测试 (PMI Data Validation) ; (5) 附属于逻辑测试, 基于实例的覆盖率验证 (PMI SCOT, Service Calculant la Couverture des Tests) 。其中, PMI联锁逻辑测试是PMI准确完成联锁计算的有力保证。而在测试的具体实施过程中, 有诸多由于操作和其他因素造成的风险。为有效规避这些风险, 确保联锁逻辑测试的可靠性,