Project Description

纽约市公交,美国

纽约市交通局 (NYCT) 正在对其地铁信号系统进行现代化改造,通过安装 CBTC 并用计算机化的固态联锁装置 (SSI) 取代基于继电器的联锁装置。 计算机化的 SSI 软件本身需要新的和改进版的安全验证,而从长远角度来看,它也会有效减少执行安全验证的成本和时间。

为达成这一目的,纽约市交通局目前需要使用 Prover iLock 验证器对 SSI 软件进行形式化验证。 安全验证作为独立安全评估 (ISA) 的一部分进行,可以检查 SSI 软件是否符合纽约市交通局的通用安全原则。

[此验证过程适用于多个 SSI 供应商]

logo nyc
logo siemens
hitachi rail sts logo
logo alstom
logo systra