Implementing the Prover iLock tool-suite for Canadian Pacific2018-11-01T10:16:43+00:00

Project Description

Canadian Pacific

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.