The Open signaling Initiative is transforming how railway and metro signaling systems are delivered.By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.
The Open signaling Initiative is transforming how railway and metro signaling systems are delivered.By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.
We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from [...]
November 16 Prover hosted Signaling Design Automation Forum 2021 in Paris. The Signaling Design Automation Forum is an event [...]
A few years back we got the idea of creating a forum for sharing experiences, best practices, and for [...]
This short video introduces Prover Studio, an integrated development environment for formal specifications.
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.
We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from [...]
November 16 Prover hosted Signaling Design Automation Forum 2021 in Paris. The Signaling Design Automation Forum is an event [...]
A few years back we got the idea of creating a forum for sharing experiences, best practices, and for [...]
This short video introduces Prover Studio, an integrated development environment for formal specifications.
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.
Fill out your information here.
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.
© 2024 Prover Technology AB All Rights Reserved
© 2023 Prover All Rights Reserved
