Canadian Pacific Standardizes on Prover iLock for Interlocking System Design,
Simulation and Formal Verification
Following Successful Deployment of Prover Technology's Test Sheet Generation Solution, CP Orders Complete Prover iLock Solution
STOCKHOLM and CALIFORNIA, May 4 /CNW/ - Prover Technology, 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.
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 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 protected].
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 Stockholm, Sweden with wholly owned subsidiaries in France and USA. Prover Technology's customer base includes Ansaldo, Bombardier, Invensys Rail, New York City Transit, Norwegian National Rail, RATP (Paris Metro), Stockholm Metro, Swedish National Rail, Thales, and 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.
For further information: For further information: Editorial Contacts: Arne Boralv, Prover Technology, (415) 963-4200, [email protected]
Share this article