Purpose
Safety assessment of interlocking software, by formal verification of Trafikverket’s safety requirements, and including safety verification report in Safety Case.
Client
Trafikverket (The Swedish Transport Administration)
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 project references
In this project, Prover enabled a safe and stepwise migration from legacy relay systems to a modern, PLC-integrated Traffic Management System for the Stockholm Metro.
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
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...
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 (The Swedish Transport Administration)
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 project references
In this project, Prover enabled a safe and stepwise migration from legacy relay systems to a modern, PLC-integrated Traffic Management System for the Stockholm Metro.
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
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...
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