Purpose
Safety assessment of interlocking software, by formal verification of Trafikverket’s safety requirements, and including safety verification report in Safety Case.
Client
Trafikverket / Swedish Rail
Signaling system
Computerized interlocking M11 for ERTMS Level 2, by Ansaldo STS
Formal Specification and Approval of Safety compliant with CENELEC SIL-4
In this project, Ansaldo STS delivers the wayside systems to Trafikverket’s ERTMS Level 2 project ESTER, including a new computerized interlocking system. Trafikverket requires that their supplier demonstrates the safety of the interlocking systems using formal verification, based on a set of safety requirements provided by Trafikverket. For the pilot line Haparandabanan in northern Sweden, Ansaldo STS licenses and uses Prover Certifier to perform the formal safety verification, and providing a safety verification report as part of the Safety Case.
The technical solution is based on:
Related case studies
In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...
Stockholm Central and adjacent interlocking systems are based on electro-mechanical relay technology. Swedish Rail requires that the safety of changes made to these interlocking systems is verified using...
How much can you save by implementing Signaling Design Automation?
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
Purpose
Safety assessment of interlocking software, by formal verification of Trafikverket’s safety requirements, and including safety verification report in Safety Case.
Client
Trafikverket / Swedish Rail
Signaling system
Computerized interlocking M11 for ERTMS Level 2, by Ansaldo STS
Formal Specification and Approval of Safety compliant with CENELEC SIL-4
In this project, Ansaldo STS delivers the wayside systems to Trafikverket’s ERTMS Level 2 project ESTER, including a new computerized interlocking system. Trafikverket requires that their supplier demonstrates the safety of the interlocking systems using formal verification, based on a set of safety requirements provided by Trafikverket. For the pilot line Haparandabanan in northern Sweden, Ansaldo STS licenses and uses Prover Certifier to perform the formal safety verification, and providing a safety verification report as part of the Safety Case.
The technical solution is based on:
Related case studies
In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...
Stockholm Central and adjacent interlocking systems are based on electro-mechanical relay technology. Swedish Rail requires that the safety of changes made to these interlocking systems is verified using...
How much can you save by implementing Signaling Design Automation?
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
+46 (0)8 617 68 00