Purpose
Improve capacity and consistency in design and test of interlocking software by using tools for generation and checking based on AREMA signaling principles.
Client
Infrastructure Manager Canadian Pacific (CP)
Signaling system
Computerized interlocking systems with coded track circuits:
• ElectroLogIXS, by General Electric
• Microlok II, by Ansaldo STS
Improve Capacity and Consistency in Design & Test of Interlocking Software
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 generation of test plans for factory and commissioning tests, to increase quality and consistency.
Today, CP has introduced the complete Prover iLock tool-suite for generation and checking of interlocking software, including a standard set of signaling principles. The signaling principles are CP’s variation of AREMA principles, supporting the coded track circuits, different location types and interlocking hardware platforms that CP uses.
This gives CP and its engineering service providers an off-the-shelf solution for generation and checking of interlocking software. The checking includes formal safety verification with Prover iLock Verifier and functional testing using Prover iLock Simulator. Location-specific test plans for factory and commissioning tests are generated using Prover iLock Documenter.
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...
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...
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...
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
Improve capacity and consistency in design and test of interlocking software by using tools for generation and checking based on AREMA signaling principles.
Client
Infrastructure Manager Canadian Pacific (CP)
Signaling system
Computerized interlocking systems with coded track circuits:
• ElectroLogIXS, by General Electric
• Microlok II, by Ansaldo STS
Improve Capacity and Consistency in Design & Test of Interlocking Software
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 generation of test plans for factory and commissioning tests, to increase quality and consistency.
Today, CP has introduced the complete Prover iLock tool-suite for generation and checking of interlocking software, including a standard set of signaling principles. The signaling principles are CP’s variation of AREMA principles, supporting the coded track circuits, different location types and interlocking hardware platforms that CP uses.
This gives CP and its engineering service providers an off-the-shelf solution for generation and checking of interlocking software. The checking includes formal safety verification with Prover iLock Verifier and functional testing using Prover iLock Simulator. Location-specific test plans for factory and commissioning tests are generated using Prover iLock Documenter.
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...
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...
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...
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.