PROVER TECHNOLOGY

Rail transportation such as railroads, metros, commuter rail, trams, are among the most energy efficient and environmental friendly means of transportation. The capacity of transporting many passengers is vital for well functioning urban areas. Electric cars are a good complement, but not nearly as energy efficient nor high capacity as rail transportation.
 
Trains are faster, more economical, safer and greener. To reach our climate goals the capacity of rail transportation needs to increase significantly. At Prover, we are committed to contribute to a sustainable and safe world. We provide solutions for the engineering of safety critical systems that control trains, signals and switches.
 
Prover provides solutions for Signaling Design Automation that reduce time and cost with up to 50% for the commissioning of train control systems, with improved safety.
 
At Prover, we’ve found the formula for a successful rail control project to be threefold:
1.      focus on the requirement specifications,
2.      use automation to develop the systems,
3.      apply formal and automated methods to prove that requirements and safety are fulfilled.

We provide software tools and services to support this process. Ranging from capturing and formalizing requirements, creating a Digital Twin to gain control of the system, designing and developing the code, and finally verify that the system is safe meeting strict certification requirements at reasonable cost, e.g. CENELEC SIL 4.