Railway Signaling Automation with formal methods and digital twin
Railway Signaling Automation with formal methods and digital twin
We digitalize the railway by implementing Signaling Design Automation, leveraging our expertise in formal methods and digital twins.
We digitalize the railway by implementing Signaling Design Automation, leveraging our expertise in formal methods and digital twins.
Latest news and events
- Prover partners with EIFFAGE ÉNERGIE SYSTÈMES on the Villeneuve Demain project
- Meet us at Train & Rail in Stockholm May 6-8
- Relay signaling migration: The structured solution for railway signaling modernization
- Prover PSL 6.0 released – Reachability obligations along with HLL and sHLL simulations are new features
Prover partners with EIFFAGE ÉNERGIE SYSTÈMES on the Villeneuve Demain project
Prover is partnering with Eiffage Énergie Systèmes on the Villeneuve Demain project, delivering railway signaling software for the PAVS system at SIL4 safety level. Using Prover’s automation tools, the solution ensures EN 50716 compliance, facilitates future maintenance, and enables reuse across similar systems.
Launch of the Open Signaling Initiative
Introducing the Open Signaling Initiative – for freedom and adaptability in modern rail and metro signaling.
Inspired by the modularity and flexibility of earlier relay-based systems, the Open Signaling Initiative redefines how rail and metro signaling systems are developed, deployed, and maintained.
What we do
We turn your rail control project to a success with signaling automation
Railway infrastructure managers need new rail control systems to support increased traffic capacity. Existing legacy systems are replaced with new, digital rail control to reduce headway and conform to interoperability standards such as ERTMS and CBTC.
Prover provides automation solutions that increase the capacity for delivering a fast and cost-efficiently rail control project. With your digital twin and our formal methods your rail control projects are verified 100% safe.
How we do it
Gain control over your railway signaling with the use of a digital twin
In signaling design automation projects, we start by developing a digital twin of your existing systems, future systems and conceptual systems. The digital twin is developed using formal methods that utilize automated simulation and can test and validate every step of your rail control project.
World leader in formal methods and verification of 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.
Signaling systems verified
Prover has developed and verified 426 signaling systems across multiple markets worldwide.
Markets
Prover operates in over 25 countries, delivering signaling system solutions worldwide.
How safe and efficient are your rail control systems?
Initiate a transformation in rail control safety with our specialized automation packages, designed to advance signaling systems efficiently and safely.
References
Prover’s innovative solution bring benefits to many types of rail control projects
In this project, Prover enabled a safe and stepwise migration from legacy relay systems to a modern, PLC-integrated Traffic Management System for the Stockholm Metro.
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Enhancing railway safety and efficiency with Prover
Prover specializes in providing advanced solutions for rail signaling and train control systems, aimed at improving the safety, capacity, and reliability of railway operations. Our expertise includes the automation of signaling railway design, the creation of digital twins, and the use of formal methods to ensure accurate and safe rail control systems. By integrating these innovative technologies, we help modernize railway infrastructure, reduce costs, and expedite project delivery, all while maintaining the highest safety standards in the industry.
How much can you save by implementing Signaling Design Automation?
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
News
Latest news, stories and upcoming events from the railway industry.
In the realm of railway software development, adhering to industrial standards is not just a matter of compliance; it’s a cornerstone of ensuring safe, reliable, and efficient railway systems. The latest milestone along this journey is the introduction of the CENELEC standard EN 50716:2023.
Kallelse till årsstämma i Prover Technology AB. Notice to attend annual general meeting in Prover Technology AB.
Prover is partnering with Eiffage Énergie Systèmes on the Villeneuve Demain project, delivering railway signaling software for the PAVS system at SIL4 safety level. Using Prover’s automation tools, the solution ensures EN 50716 compliance, facilitates future maintenance, and enables reuse across similar systems.
+46 (0)8 617 68 00