Requirements in rail control projects are essential for ensuring safety and reliability. These requirements define what the system must do and how it must behave. To ensure high-quality requirements, we use formal methods and simulation to validate them. This involves creating a digital twin of the existing and future system, which is used for formal verification and testing.
Of all the steps involved in the tendering process for railway signaling systems, writing the specifications that you will later [...]
Learn how you, as an infrastructure manager or system buyer, can use formal methods and digital twins to simplify the requirement specification phase and generate the high-quality specifications you need to accomplish your system goals and get your rail control project off to a better start. At the end of the guide, we will put all our learnings in perspective with a real-life example.
This short video introduces Prover Studio, an integrated development environment for formal specifications.
It is clear that there is a trend in the railway industry towards using modern tools and concepts for developing [...]
In my last post I wrote about how to write a decent specification on a quite general level. This time, [...]
The subway of New York is one of the busiest in the world, with close to six million riders on [...]
Of all the steps involved in the tendering process for railway signaling systems, writing the specifications that you will later [...]
Learn how you, as an infrastructure manager or system buyer, can use formal methods and digital twins to simplify the requirement specification phase and generate the high-quality specifications you need to accomplish your system goals and get your rail control project off to a better start. At the end of the guide, we will put all our learnings in perspective with a real-life example.
This short video introduces Prover Studio, an integrated development environment for formal specifications.
It is clear that there is a trend in the railway industry towards using modern tools and concepts for developing [...]
In my last post I wrote about how to write a decent specification on a quite general level. This time, [...]
The subway of New York is one of the busiest in the world, with close to six million riders 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
+46 (0)8 617 68 00