Project Description

模块化信号,英国

降低成本并协调跨装置的联锁系统信号规则

在这个项目中,Prover与 西门子英国(前身为 Invensys Rail)合作,为英国铁路网公司的Modular Signaling生成和检查联锁软件Westrace Mk II,目的是降低每个信号等效单元 (SEU) 的成本,并协调跨装置的联锁系统信号规则。

信号规则Modular Signaling是由Prover与西门子合作定义的,并将设计规范、安全要求和测试要求分开进行。

基于 Prover iLock 和形式化信号原理的最终解决方案,促成了特定应用程序的快速成功开发; 所有安全要求都可以使用形式化验证来证明,并且所有测试用例都在工程桌面上成功模拟。 在为 Westrace Mk II 信号系统生成代码后,桌面模拟中的所有测试用例都可以导出,并在目标硬件上成功运行。 作为英国铁路网公司GRIP4 开发阶段的一部分,Modular Signaling解决方案已成功向该公司演示。

logo networkrail
logo siemens