Purpose
Reduce time-to-market for development and safety approval of interlocking software. Establish sign-off safety verification in compliance of CENELEC EN 50128:2011 SIL4.
Client
Infrastructure Manager Stockholm Metro (SL)
Signaling system
Interlocking systems, based on the VHLC and Tempo platforms, by General Electric Transportation (now Alstom)
Reduce Time-To-Market for Development and V&V of the Application Specific Software for the Interlocking Systems
In this project, Prover provided interlocking software to GE under a turn-key supply. The purpose was to reduce the calendar time required to develop, validate and verify interlocking software for the 10+ interlocking systems of the Solna and Sickla light rail lines in downtown Stockholm.
In this project, GE was responsible for defining the signaling principles, and Prover supplied interlocking software based on the formalization of those principles and using the Prover iLock software tool suite for the generation and checking of each application.
During the course of the project, the customer decided to change the hardware platform to a new platform called Tempo; since the Prover iLock tool suite is not tied to any particular target language, it was straight-forward to support the new Tempo target.
The solution Prover used for the supply was based on:
The first revenue service installation of the new interlocking systems on Tvärbanan took place in 2013.
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
Reduce time-to-market for development and safety approval of interlocking software. Establish sign-off safety verification in compliance of CENELEC EN 50128:2011 SIL4.
Client
Infrastructure Manager Stockholm Metro (SL)
Signaling system
Interlocking systems, based on the VHLC and Tempo platforms, by General Electric Transportation (now Alstom)
Reduce Time-To-Market for Development and V&V of the Application Specific Software for the Interlocking Systems
In this project, Prover provided interlocking software to GE under a turn-key supply. The purpose was to reduce the calendar time required to develop, validate and verify interlocking software for the 10+ interlocking systems of the Solna and Sickla light rail lines in downtown Stockholm.
In this project, GE was responsible for defining the signaling principles, and Prover supplied interlocking software based on the formalization of those principles and using the Prover iLock software tool suite for the generation and checking of each application.
During the course of the project, the customer decided to change the hardware platform to a new platform called Tempo; since the Prover iLock tool suite is not tied to any particular target language, it was straight-forward to support the new Tempo target.
The solution Prover used for the supply was based on:
The first revenue service installation of the new interlocking systems on Tvärbanan took place in 2013.
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