Verification and validation are critical processes in rail control projects. Verification ensures that the system meets the specified requirements and design, while validation ensures that the system meets the user’s needs and operates as intended. Both processes involve testing, analysis, and documentation to ensure safety and reliability in railway operations.
Prover Certifier just took a new major step when we received a certificate from TÜV Nord ensuring that Prover [...]
Learn why formal verification is the only solution to safety verification. Watch this recorded webinar!
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.
Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
If you have read the first two parts of this series (Read Part 1 here and Part 2 here), then [...]
Our model checker Prover SL CE (PSL) is getting a lot faster thanks to artificial intelligence techniques (AI)!
We are starting to receive customer feedback about our model checker PSL. Truly exciting reading! “Our proof time [...]
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
Caltrans (The California Department of Transportation) recently released a research report that details the impact of the railway industry on [...]
Prover Certifier just took a new major step when we received a certificate from TÜV Nord ensuring that Prover [...]
Learn why formal verification is the only solution to safety verification. Watch this recorded webinar!
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.
Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
If you have read the first two parts of this series (Read Part 1 here and Part 2 here), then [...]
Our model checker Prover SL CE (PSL) is getting a lot faster thanks to artificial intelligence techniques (AI)!
We are starting to receive customer feedback about our model checker PSL. Truly exciting reading! “Our proof time [...]
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
Caltrans (The California Department of Transportation) recently released a research report that details the impact of the railway industry on [...]
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
