项目参考
Prover 的全球部署
Prover 已成功为世界各地的铁路项目提供信号设计自动化解决方案，包括巴黎地铁、纽约地铁和斯德哥尔摩地铁，加拿大的货运铁路，瑞典和中国的干线铁路以及纽约和斯德哥尔摩的轻轨/通勤铁路 ，这些都是 Prover 信号设计自动化解决方案的成功范例。
项目范围从完整的 Prover Trident 解决方案，到交付相关工具用于形式化验证，到基于CENELEC SIL-4 的签核验证，以及模拟和测试表的生成。 Prover 的产品涵盖信号设计自动化的所有方面。
以下是应用了 Prover 解决方案的部分项目介绍。 这些案例阐释了项目目的、目标环境和已交付的解决方案。
ERTMS L2, 瑞典
ERTMS L2, 瑞典 符合 CENELEC SIL-4 的形式化规范和安全认证 联锁软件的安全评估，通过对瑞典铁路交通局（Trafikverket）的安全要求进行形式化验证，并在安全例证（Safety Case）中包含安全验证报告。 [...]
纽约市公交
纽约市公交，美国 基于形式化验证的联锁软件安全审批 根据对纽约市公交(NYCT) 安全原则的形式化验证，建立联锁软件的安全审批流程，并将流程应用于多个供应商，作为独立安全评估的一部分。 纽约市公交 (NYCT) 来自不同供应商的计算机联锁系统，包括 Westrace [...]
斯德哥尔摩地铁
斯德哥尔摩地铁，瑞典 联锁软件的开发和安全认证 缩短联锁软件开发和安全审批的上市时间。 建立符合 CENELEC EN 50128:2011 SIL4 标准的签核安全验证。 [...]
巴黎地铁
巴黎地铁，法国 符合 CENELEC EN 50128 的自动签核安全验证 在符合 CENELEC EN 50128标准的过程中，建立基于数学证明的自动签核安全验证。 [...]
加拿大太平洋铁路
加拿大太平洋铁路，加拿大 提高联锁软件设计和测试能力及一致性 通过使用基于 AREMA 信号原理的生成和检测工具，提高联锁软件设计和测试的能力和一致性。 加拿大太平洋铁路(CP) 带编码轨道电路的计算机联锁系统： ElectroLogIXS，由通用电气公司提供 [...]
斯德哥尔摩中央车站
斯德哥尔摩中央车站，瑞典 利用形式化验证改进安全评估过程 相比于仅使用传统的手动审查，该项目执行形式化安全验证，以识别和消除错误，改进安全评估过程。尤其要注意的一点是，查找单个硬件故障可能导致安全问题。 瑞典铁路交通局Trafikverket 基于继电器的联锁系统，位于斯德哥尔摩中央火车站以北的干线铁路网络 [...]
挪威国家铁路
挪威国家铁路，挪威 联锁软件的形式化安全验证 进行形式化安全验证，确保ABB提供的联锁软件符合Bane NOR的安全要求。 挪威国家铁路（Bane NOR） 计算机联锁系统 Merkur，由ABB公司提供 [...]
Infrabel，比利时
Infrabel，比利时 形式化验证安全和设计规范 使用不同的平交道口配置，并应用形式化安全验证，形式化和验证平交道口的要求规范 因弗拉贝尔（Infrabel，比利时铁路网络及基础建设供应商） 计算机化的平交道口控制器 [...]
青藏铁路，中国
青藏铁路，中国 联锁软件的自动仿真和形式化验证 部署最先进的安全验证，并减少提供诸多联锁系统的项目重复工程成本 中国铁道部，中国 VHLC，由通用电气提供 [...]
斯德哥尔摩轻轨
斯德哥尔摩轻轨，瑞典 缩短开发、验证和确认针对联锁系统的专用软件的上市时间 缩短开发、验证和确认针对联锁系统的专用软件的上市时间，建立符合 CENELEC EN 50128:2011标准的自动签核安全验证。 斯德哥尔摩地铁 (SL) [...]
模块化信号，英国
模块化信号，英国 降低成本并协调跨装置的联锁系统信号规则 降低成本并协调跨装置的联锁系统信号规则 英国铁路网公司（Network Rail） Westrace Mk II，由西门子公司提供 [...]