Project Description

青藏铁路,中国

联锁软件的自动仿真和形式化验证

作为中国铁道部青藏铁路项目的一部分,通用电气为青藏铁路提供了20多个联锁系统。 Prover 也加入了这个项目,为这些在 VHLC 硬件控制器上实施的系统指定控制其测试和安全原则的信号规则。 通用电气公司使用这些测试和安全原则,应用 Prover iLock仿真器和 Prover iLock 验证器对联锁软件执行自动模拟和形式化验证。

随着这个项目的成功运行,通用电气公司着手在 VHLC 编程工具 ACE 中加入对 Prover iLock 的支持,以便将所有使用 Prover iLock 工具开发的联锁软件导入 ACE。

logo ge