Project Description

挪威国家铁路,挪威

联锁软件的形式化安全验证

在挪威国家铁路的 Nordlandsbanen 线路、Ganddal 货运站和双轨 Sandnes-Stavanger 项目中,Prover 为联锁软件的安全验证提供了一站式方案。联锁系统由 ABB公司提供,由Prover挪威国家铁路及其供应商 ABB 执行项目。 Prover 在挪威联锁系统的通用安全要求规范的开发中发挥了核心作用。该规范是与挪威国家铁路和 ABB 合作维护的,并在一系列项目中得到应用。这些项目使用 Prover iLock 验证器,并通过两步过程对联锁软件进行安全验证:

  • 联锁设计经过形式化验证以满足安全要求
  • 联锁软件经过形式化验证,以确保其实现了联锁设计

通过使用此流程,可以在工作早期就消除应用形式化验证发现的错误,从而有效节省开发资源,提升工作质量。当所有错误都被纠正后,再次应用形式化验证技术,以确保最终的通车服务联锁软件的正确性。

logo banenor
logo abb