Meet the Prover team at InnoTrans 2026. Explore Open Signaling, watch live demos, and book a meeting to discuss open signaling.
Meet the Prover team at InnoTrans 2026. Explore Open Signaling, watch live demos, and book a meeting to discuss open signaling.
Safety is critical for the railway industry. We believe the method that should be used for safety assurance is formal verification. Join us in a webinar on this subject.
Let's discuss why formal verification should be used to verify software safety requirements! As a provider of formal verification, we are fully convinced that it is the best methodology for safety verification and should be used when engineering safe rail control systems.
Since the introduction of modern software-based automated rail control solutions, the complexity of rail control- and signalling systems has grown significantly. These advanced systems can help optimizing the use of critical infrastructure resulting in a better passenger experience, but the main priority is always to guarantee safety. Here, we share an overview of the safety verification practices commonly used in rail control projects in The United States, Sweden and France.
Stockholm Metro has a diverse and complex network with light rail, suburban rail and subway systems. Its signaling systems are a mix of computerized and relay-based interlockings, with modern, centralized traffic management systems.We will take a closer look at two distinct projects of Stockholm Metro; the extension of one of the subway lines using legacy union switch & signal relay-based interlocking and the capacity increase project on a suburban rail line utilizing modern computerized interlockings.
Learn why formal verification is the only solution to safety verification. Watch this recorded webinar!
In this video we will demonstrate how to use a modern interlocking design automation solution. The demonstration is based on Prover Trident.
The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better use of the existing infrastructure, while maintaining the highest level of safety. This also means that the task of assessing the safety and function of these systems becomes more and more complex and often constitutes a significant part of the overall development costs.In this paper, we look at a solution for automating a significant part of these verification and validation tasks, and at how it's been applied to signaling systems in PTC and CBTC environments.
Imagine an infrastructure manager in need of a new rail control system; maybe a new line is to be built, extended or re-signaled to increase capacity or to solve issues with aging equipment requiring more and more maintenance. In this guide, we present a process that gives significant benefits to the supplier as well as the infrastructure manager.
This document aims to help infrastructure- vendors and managers developing rail control systems to create a compelling business case for investing in a modern interlocking design automation process. A state-of-the-art process based on formalized specifications and automation tools compared to traditional methods for developing signaling applications.
Railway signaling systems are surprisingly expensive to produce. Why did this happen?
Safety is critical for the railway industry. We believe the method that should be used for safety assurance is formal verification. Join us in a webinar on this subject.
Let's discuss why formal verification should be used to verify software safety requirements! As a provider of formal verification, we are fully convinced that it is the best methodology for safety verification and should be used when engineering safe rail control systems.
Since the introduction of modern software-based automated rail control solutions, the complexity of rail control- and signalling systems has grown significantly. These advanced systems can help optimizing the use of critical infrastructure resulting in a better passenger experience, but the main priority is always to guarantee safety. Here, we share an overview of the safety verification practices commonly used in rail control projects in The United States, Sweden and France.
Stockholm Metro has a diverse and complex network with light rail, suburban rail and subway systems. Its signaling systems are a mix of computerized and relay-based interlockings, with modern, centralized traffic management systems.We will take a closer look at two distinct projects of Stockholm Metro; the extension of one of the subway lines using legacy union switch & signal relay-based interlocking and the capacity increase project on a suburban rail line utilizing modern computerized interlockings.
Learn why formal verification is the only solution to safety verification. Watch this recorded webinar!
In this video we will demonstrate how to use a modern interlocking design automation solution. The demonstration is based on Prover Trident.
The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better use of the existing infrastructure, while maintaining the highest level of safety. This also means that the task of assessing the safety and function of these systems becomes more and more complex and often constitutes a significant part of the overall development costs.In this paper, we look at a solution for automating a significant part of these verification and validation tasks, and at how it's been applied to signaling systems in PTC and CBTC environments.
Imagine an infrastructure manager in need of a new rail control system; maybe a new line is to be built, extended or re-signaled to increase capacity or to solve issues with aging equipment requiring more and more maintenance. In this guide, we present a process that gives significant benefits to the supplier as well as the infrastructure manager.
This document aims to help infrastructure- vendors and managers developing rail control systems to create a compelling business case for investing in a modern interlocking design automation process. A state-of-the-art process based on formalized specifications and automation tools compared to traditional methods for developing signaling applications.
Railway signaling systems are surprisingly expensive to produce. Why did this happen?
Fill out your information here.
Explore the railway solutions, start with a focused engagement, or discuss how Prover can support your functional safety lifecycle.
And 100% secure system.
© 2026 Prover Technology AB All Rights Reserved
© 2026 Prover All Rights Reserved
+46 (0)8 617 68 00