{"id":616,"date":"2016-12-09T11:11:42","date_gmt":"2016-12-09T10:11:42","guid":{"rendered":"https:\/\/www.prover.com\/?post_type=avada_portfolio&p=616"},"modified":"2025-01-13T09:56:54","modified_gmt":"2025-01-13T08:56:54","slug":"canadian-pacific","status":"publish","type":"avada_portfolio","link":"https:\/\/www.prover.com\/references\/canadian-pacific\/","title":{"rendered":"Implementing the Prover iLock tool-suite for Canadian Pacific"},"content":{"rendered":"

\"Purpose\"<\/span><\/div><\/div><\/div>
Purpose<\/h5><\/div><\/div><\/div><\/div>

Improve capacity and consistency in design and test of interlocking software by using tools for generation and checking based on AREMA signaling principles.<\/p>\n<\/div><\/div><\/div>

\"Client\"<\/span><\/div><\/div><\/div>
Client<\/h5><\/div><\/div><\/div><\/div>

Infrastructure Manager Canadian Pacific (CP)<\/p>\n<\/div><\/div><\/div>

\"Signaling<\/span><\/div><\/div><\/div>
Signaling system<\/h5><\/div><\/div><\/div><\/div>

Computerized interlocking systems with coded track circuits:
\n\u2022 ElectroLogIXS, by General Electric
\n\u2022 Microlok II, by Ansaldo STS<\/p>\n<\/div><\/div><\/div><\/div><\/div>

Improve capacity and consistency in design & test of interlocking software<\/h2><\/div>

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.<\/p>\n

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\u2019s variation of AREMA principles, supporting the coded track circuits, different location types and interlocking hardware platforms that CP uses.<\/p>\n

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.<\/p>\n<\/div><\/div><\/div>

<\/div><\/div><\/div><\/div>
<\/div><\/div>
<\/div><\/div><\/div><\/div>
Related project references<\/h6><\/div><\/div><\/div>
View all<\/a><\/a><\/h6><\/div><\/div><\/div>