Project Description

斯德哥尔摩轻轨,瑞典

缩短开发、验证和确认针对联锁系统的专用软件的上市时间

在该项目中Prover以一站式供应方式向 通用电气公司提供了联锁软件,目的是减少为多个联锁系统开发、验证和验证联锁软件所需的时间。该项目为包括斯德哥尔摩市中心的 Solna 轻轨线路和 Sickla 轻轨线路在内的 10多个联锁系统服务,其中通用电气公司负责定义信号原则,Prover 提供基于这些原则形式化的联锁软件,并使用 Prover iLock 软件工具链生成和检查每个应用。

在项目进行过程中,客户决定将原硬件平台更改至名为Tempo的新平台;由于 Prover iLock 工具链不与任何特定目标语言绑定,因此可以直接支持新的 Tempo 平台。

Prover 供应的解决方案包括:

  • 对通用电气提供的信号原则的形式化
  • 使用 Prover iLock 生成和检查每个联锁
  • 基于Prover 认证器的签核安全验证。Tempo 平台的签核工具提供独立验证,以确保通车服务 Tempo 代码(包括其编译的二进制映像)满足安全要求

在斯德哥尔摩有轨电车上安装了新的联锁系统的第一次通车服务发生于2013年。

logo ge
logo sl