Company
About us
About us
We are Committed to Contribute to a Sustainable and Safe World
We are Committed doing our part to Contribute to a Sustainable and Safe World.
Proven solution
Engineering a safer world
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:
- focus on the requirement specifications,
- use automation to develop the systems,
- 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.
World leader in formal methods and verification for safety critical systems.
Prover is a world leader in formal methods and formal verification for safety critical systems. The company was founded in 1996 in Stockholm, Sweden, and has gained extensive experience over the years in its field. Prover is also present in the US, France, Algeria and China. It is privately owned by investors and staff, and has customers in more than 25 countries.
Markets
Prover has customers in more than 25 countries.
Offices
Prover has presence in five countries.
Our Vision
A world where all signaling systems are reliable, cost-efficient, and safe.
RAILway industri DEVELOPMENT
Driving innovation & shaping standards
Prover is a thought leader in the industry actively driving innovation, shaping standards and developing best practices for efficient development and verification of rail control systems. Prover contributes to the automation and digitization of modern rail control systems through various industry organizations and forums, collaboration with Academia and driving new innovations.
QUALITY
Prover Quality Certification
We strive to meet or exceed customer requirements in the delivery of our solutions and services. We ensure this goal by working per our Quality Management System, using best practices and conforming to existing standards.
Our leading market position derives from continuously listening to our customers, thus identifying market and customer requirements on cost efficient and future proof solutions with guaranteed safety.
We actively work in industry organizations and standardization bodies, such as UNIFE, IEEE and Shift2Rail to contribute to developing standards and best practices for the train control systems of tomorrow where safety, time to market and cost efficiency are paramount.
ISO 9001 certification
Prover has a Quality Management System (QMS) which has been certified in accordance with SS-EN ISO 9001:2015
The Rail Control systems market has very high requirements for quality, reliability, performance, flexibility and maintainability. Customer satisfaction is the basis for the development and growth of Prover.
QUALITY
CENELEC EN 50128 SIL 4
Prover’s products meets the highest safety requirement CENELEC EN 50128 and has been subject to rigorous testing and evaluation. Prover Certifier has been approved by TÜV NORD as a CENELEC EN50128-compliant T2 tool for SIL 4 applications.
CENELEC EN 50128 is a safety standard for software used in railway control and protection systems. It defines a set of guidelines for the development of safety-critical software in the railway industry, with a focus on ensuring safety, reliability, and availability of these systems.
SIL 4 is the highest safety integrity level defined by the standard, indicating the software has the most stringent safety requirements. Compliance with CENELEC EN 50128 SIL 4 is necessary for the development and certification of safety-critical software for use in railway control and protection systems. Adhering to this standard ensures that the software meets the highest safety requirements and has been subject to rigorous testing and evaluation.
+46 (0)8 617 68 00