Software development is a critical component of rail control and signaling systems. It enables efficient and safe operation of railway networks by optimizing signaling control and reducing operational costs. With innovative software solutions, rail networks can achieve maximum reliability, availability, and maintainability while complying with industry standards. Software development in rail control is continuously evolving to keep up with emerging technologies, making it essential to work with experts in the field. Read about our work here.
The Tool providers that support HLL have now agreed on the content of the next published version of HLL. It will be [...]
The HLL Forum meeting we had in December decided to let a subgroup work on a new language definition meeting [...]
Interested in a modern interlocking design automation process? As with all investments you then need a compelling business case [...]
The IRSE International Technical Committee recently published an insightful report on Strategic drivers of change in the signaling industry. [...]
On the 8th of December, HS2 Ltd and the Transport Systems Catapult (TSC) will be holding a 2 day "Hackaton" [...]
Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready [...]
The Tool providers that support HLL have now agreed on the content of the next published version of HLL. It will be [...]
The HLL Forum meeting we had in December decided to let a subgroup work on a new language definition meeting [...]
Interested in a modern interlocking design automation process? As with all investments you then need a compelling business case [...]
The IRSE International Technical Committee recently published an insightful report on Strategic drivers of change in the signaling industry. [...]
On the 8th of December, HS2 Ltd and the Transport Systems Catapult (TSC) will be holding a 2 day "Hackaton" [...]
Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready [...]
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