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.