 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|---|
|
|
|
|---|
|
|
|
|---|
Speed, Safety and Savings
LATEST NEWS
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 [...]
Let’s meet at Innotrans and discuss the challenges faced in rail control projects
On September 20-23, Prover will be at Innotrans 2022! Come join us in hall 11.2 stand 260 to discuss [...]
EVENTS
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.
