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 project references
In this project, Prover enabled a safe and stepwise migration from legacy relay systems to a modern, PLC-integrated Traffic Management System for the Stockholm Metro.
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
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...
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 project references
In this project, Prover enabled a safe and stepwise migration from legacy relay systems to a modern, PLC-integrated Traffic Management System for the Stockholm Metro.
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
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...
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