Canadian Pacific standardizes on Prover iLock
Written by jrood
Prover Technology, a world leader in signaling design automation, has received an order for delivering a Prover iLock solution for development and checking of interlocking systems from Canadian Pacific. The Prover iLock solution will automate code generation, formal safety verification and functional testing of interlocking system software for platforms Microlok(R) II, ElectroLogIXS and VHLC. The order includes licensing of a PiSPEC specification library for AREMA-based signaling principles, which will be used together with the Prover iLock solution for CP.
Gunnar Stalmarck, CEO at
Prover Technology, said, "It’s exciting to work with progressive and
safety minded railroads like CP. While operators are always interested in
technologies capable of reducing costs and improving safety, they also need to
be mindful of deploying proven tools. This deployment is yet another sign that
the industry is moving towards increased use of modern engineering processes
and tools."
The benefits of the
Prover iLock solution include consistent software design and software code for
all interlocking systems, an automated development process that saves
engineering time and cost, push-button code generation, formal verification and
simulation-based functional testing on the desktop rather than in the factory
or field, with improved safety verification coverage by the use of formal
verification.
The AREMA specification
library is currently under development, and will be available later this year.
