Project Description

ERTMS L2, 瑞典

符合 CENELEC SIL-4 的形式化规范和安全认证

在这个项目中,日立轨道为瑞典铁路交通局的 ERTMS L2项目 ESTER 提供轨旁系统,包括一个新的计算机联锁系统。

瑞典铁路交通局要求其供应商根据该局提供的一系列安全要求,使用形式化验证来证明联锁系统的安全性。对于瑞典北部的 Haparandabanan 试验线,日立轨道许可并使用Prover 认证器进行形式化安全验证,并提供安全验证报告作为安全例证的一部分。技术方案包括:

  • 安全要求的形式化规范(基于瑞典铁路交通局以自然语言表达的要求)和验证中的联锁配置
  • 使用基于Prover 认证器的工具链,将联锁软件设计转换为形式化模型并验证安全要求
  • 根据分析结果创建验证报告,以创建符合 CENELEC SIL 4 的安全证据的整体安全例证
logo trafikverket
hitachi rail sts logo