Project Description

斯德哥尔摩中央车站,瑞典

利用形式化验证改进安全评估过程

斯德哥尔摩中央火车站和相邻联锁系统基于继电器技术。由于这是瑞典安装的最复杂的联锁系统之一,而且由于过于复杂而无法使用传统方法进行验证,瑞典铁路要求使用形式化验证,来验证对这些联锁系统所做的更改。我们对这些系统进行了几项重大更改,以增加通过斯德哥尔摩市中心的交通容量。

在 2014-2015 年的这个项目中,咨询公司奥夫(AFRY)更新了卡尔贝格的联锁系统,该系统连接了一条新的 6 公里长的隧道,它在斯德哥尔摩中央车站下设有平台,并与斯德哥尔摩中央车站的旧部相连。该项目验证了联锁的安全性,这包括了系统中更改和未更改的部分,同时还确保了系统遵循了一些特定的设计模式。

这种基于继电器的联锁类型的形式化验证包括:

  • 通用安全要求再加上控制表及信号图表中的特定要求,
  • Prover Extractor用于从继电器原理图中提取形式化验证模型,Prover iLock 验证器用于安全验证,
  • 包含了模板、中继数据库和原理图单元库的控制系统工具箱(CST toolbox)。
logo trafikverket
logo af