Our Globally deployed Interlocking Design Solutions
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.