References
Some of Prover’s global deployments
Prover has successfully delivered solutions for signaling design automation to railway infrastructure managers around the world, including metros of Paris, New York and Stockholm, freight railways in Canada, mainline railways in Sweden and China, and light railway/commuter railways in New York and Stockholm. These are examples of deployments of Prover’s signaling design automation solutions.
The projects range from full Prover Trident solutions to delivery of tools for formal verification, sign-off verification according to CENELEC SIL-4, simulation and test sheet generation. Prover’s offering covers all aspect of signaling design automation.
Below are presentations of some of the projects where Prover’s solutions have been deployed. The reference cases states purpose of the projects, target environment and solutions delivered.
Implementing Prover Trident for SL, Stockholm
In this project, Prover Technology provides the Prover Trident solution to Ansaldo STS, for development and safety approval of interlocking software for Roslagsbanan, a mainline railway line that connects...
Formal Verification of SSI Software for NYCT, New York
New York City Transit (NYCT) is modernizing the signaling system in its subway by installing CBTC and replacing relay-based interlockings with computerized, solid state interlockings (SSIs).
Our Formal Verification Solution for RATP, Paris
In this project Prover Technology collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Implementing the Prover iLock tool-suite for Canadian Pacific
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...
Formal Verification for Stockholm Central
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...
Formal Specification for ERTMS L2, Sweden
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...
Formal Safety Verification for Bane NOR, Norway
In projects for Jernbaneverket’s Nordlandsbanen line, the Ganddal freight terminal and the double track Sandnes-Stavanger, Prover Technology provided turnkey services for safety...
Formal Verification for Infrabel, Belgium
In this project, Prover Technology provided tools and services to help Infrabel increase the quality of requirement specifications for tendering of level crossing systems. Infrabel was preparing to replace...
Automated Simulation and Formal Verification for Qinghai Tibet, China
As part of a project for the Ministry of Railways of the People’s Republic of China, GE Transportation supplied 20+ interlocking systems for the Qinghai-Tibet railway. Prover Technology joined this project...
Interlocking Software for Light-rail, Stockholm
In this project, Prover Technology 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...
Generation and Checking Interlocking Software for Modular Signalling, UK
Prover Technology worked with Siemens UK (formerly Invensys Rail) on generation and checking of Westrace Mk II interlocking software for Network Rail’s Modular Signaling...