Purpose
Client
Network Rail
Signaling system
Westrace Mk II, by Siemens
Reduce Cost and Harmonize Interlocking System Principles across Installations
In this project Prover worked with Siemens UK (formerly Invensys Rail) on generation and checking of Westrace Mk II interlocking software for Network Rail’s Modular Signaling, whose purpose was to reduce the cost per Signaling Equivalent Unit (SEU), and to harmonize interlocking system principles across installations.
The Modular signaling principles were defined in collaboration with Siemens, separating specification of design, safety and test requirements.
The resulting solution based on Prover iLock and formalized signaling principles provided a rapid and successful development of specific applications; all safety requirements could be proved using formal verification, and all test cases were successfully simulated on the engineering desktop. After generating code for Westrace Mk II, all test cases from the desktop simulation could be exported and successfully run against the target hardware. The solution for Modular Signaling was successfully demonstrated to Network Rail as part of the Network Rail GRIP4 development stage.
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
Client
Network Rail
Signaling system
Westrace Mk II, by Siemens
Reduce Cost and Harmonize Interlocking System Principles across Installations
In this project Prover worked with Siemens UK (formerly Invensys Rail) on generation and checking of Westrace Mk II interlocking software for Network Rail’s Modular Signaling, whose purpose was to reduce the cost per Signaling Equivalent Unit (SEU), and to harmonize interlocking system principles across installations.
The Modular signaling principles were defined in collaboration with Siemens, separating specification of design, safety and test requirements.
The resulting solution based on Prover iLock and formalized signaling principles provided a rapid and successful development of specific applications; all safety requirements could be proved using formal verification, and all test cases were successfully simulated on the engineering desktop. After generating code for Westrace Mk II, all test cases from the desktop simulation could be exported and successfully run against the target hardware. The solution for Modular Signaling was successfully demonstrated to Network Rail as part of the Network Rail GRIP4 development stage.
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