Canadian Pacific

Improve Capacity and Consistency in Design & Test of Interlocking Software

Purpose

Improve capacity and consistency in design and test of interlocking software by using tools for generation and checking based on AREMA signaling principles.

Infrastructure Manager

Canadian Pacific (CP)

Signaling system

Computerized interlocking systems with coded track circuits:
• ElectroLogIXS, by General Electric
• Microlok II, by Ansaldo STS

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.