Prover interlocking design solutions deployed globally
Prover has successfully delivered solutions for interlocking design automation to railway infrastructure managers around the world, including metros of Paris, New York and Stockholm, freight railways in Canada, mainline railways in Sweden and China, and light railway/commuter railways in New York and Stockholm. These are examples deployments of Prover’s interlocking design automation solutions.
The projects range from full Prover Trident solutions to delivery of tools for formal verification, sign-off verification according to CENELEC SIL-4, simulation and test sheet generation. Prover’s offering covers all aspect of interlocking design automation.
Below are presentations of some of the projects where Prover’s solutions have been deployed. The reference cases states purpose of the projects, target environment and solutions delivered.
Business Case Development Meeting
We can help you to develop you business case for an investment in a modern Interlocking Design Automation Solution.
We have extensive experience in helping infrastructure managers in developing business cases and we follow some clear and simple steps that will be based on Prover IDeA process.
Send your interest to us and we will set up a remote meeting suitable for you.