Explore the transformation of the railway industry towards interoperable, vendor-independent solutions using COTS hardware. Discover the benefits and implementation strategies for open and interoperable signaling solutions in the modern rail network.
Railway signaling systems are surprisingly expensive to produce. Why did this happen?
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
Hopefully you have read part 1 on this blog, where I tried to convince you that traditional methods will not [...]
The subject I am going to write about this time is not an easy one. I will try to explain [...]
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
We've all been there, waiting for the theorem prover to answer. Getting up for a cup of coffee, bugging a [...]
The structure of specifications
Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The [...]
Back in March this year I wrote about a work package on formal methods and standard interfaces, led by [...]
Explore the transformation of the railway industry towards interoperable, vendor-independent solutions using COTS hardware. Discover the benefits and implementation strategies for open and interoperable signaling solutions in the modern rail network.
Railway signaling systems are surprisingly expensive to produce. Why did this happen?
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
Hopefully you have read part 1 on this blog, where I tried to convince you that traditional methods will not [...]
The subject I am going to write about this time is not an easy one. I will try to explain [...]
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
We've all been there, waiting for the theorem prover to answer. Getting up for a cup of coffee, bugging a [...]
The structure of specifications
Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The [...]
Back in March this year I wrote about a work package on formal methods and standard interfaces, led by [...]
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