Purpose
Deploy state of the art safety verification, and to reduce recurring engineering costs for projects that deliver many interlocking systems
Client
Ministry of Railways, PR China
Signaling system
VHLC, by General Electric
Automated Simulation and Formal Verification of Interlocking Software
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 joined this project to specify the signaling rules governing test and safety principles for these systems, implemented on VHLC hardware controllers. These test and safety principles were used by GE Transportation to perform automated simulation and formal verification of the interlocking software using the Prover iLock Simulator and Prover iLock Verifier.
Following the success of this project, GE Transportation proceeded to incorporate support for Prover iLock in the VHLC programming tool ACE, so that interlocking software developed with Prover iLock could be imported into ACE.
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
Deploy state of the art safety verification, and to reduce recurring engineering costs for projects that deliver many interlocking systems
Client
Ministry of Railways, PR China
Signaling system
VHLC, by General Electric
Automated Simulation and Formal Verification of Interlocking Software
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 joined this project to specify the signaling rules governing test and safety principles for these systems, implemented on VHLC hardware controllers. These test and safety principles were used by GE Transportation to perform automated simulation and formal verification of the interlocking software using the Prover iLock Simulator and Prover iLock Verifier.
Following the success of this project, GE Transportation proceeded to incorporate support for Prover iLock in the VHLC programming tool ACE, so that interlocking software developed with Prover iLock could be imported into ACE.
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