Canadian Pacific Standardizes on Prover iLock for Interlocking System Design, Simulation and Formal Verification
the world leader in Signaling Design Automation, today announced that it has
received an order for delivering a Prover iLock solution for development and
checking of interlocking systems from Canadian Pacific (CP), a Class 1
railway company. 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.
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 includes 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. For more information, contact email@example.com.
About Prover Technology
Prover Technology provides software products and services for development
of control and signaling systems. The company was founded in 1989 and is
privately held. It is headquartered in
Ansaldo, Bombardier, Invensys Rail, New York City Transit, Norwegian National
Rail, RATP (
many others. For more information and office locations, visit Prover
Technology’s web site at http://www.prover.com.
Microlok II is a trademark of Ansaldo STS. VHLC and ElectroLogIXS are
trademarks of General Electric. Any other trademarks mentioned in this
release are the intellectual property of their respective owners.
SOURCE Prover Technology AB