![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
---|
![]() |
![]() |
![]() |
---|
![]() |
![]() |
![]() |
---|
Speed, Safety and Savings
LATEST NEWS
What’s preventing us from overcoming complexity in rail signaling?
Is safety built on history? Or are we creating a system that is too complex? Do we still need [...]
Prover hosted Signaling Design Automation Forum in Stockholm
Signaling Design Automation Forum is an event gathering signaling professionals from the railway industry to share and discuss the [...]
Prover Certifier qualified for CENELEC SIL 4 projects
Prover Certifier just took a new major step when we received a certificate from TÜV Nord ensuring that Prover [...]
EVENTS
Recorded Webinar – Modeling rail control systems with digital twins
In this webinar, we look at digital twins can be used in modeling rail control systems and present a case from Stockholm Metro.
Signaling Design Automation
Rail control and signalling solutions play a significant role in making efficient use of available infrastructure, enabling reliable and safe transport. Delays in delivery, acceptance and safety approvals have a highly negative impact on schedules and costs. Therefore, we are committed to simplify the development of rail control solutions.
We use a formal approach to develop a prototype, or a RMI – Reference Model Implementation, that validates specifications with simulation and formal verification.

Prover iLock®
Prover iLock is a desktop tool for development of application software for railway interlocking systems.