 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|---|
|
|
|
|---|
|
|
|
|---|
Speed, Safety and Savings
LATEST NEWS
Why every rail control project should start with a Reference Model Implementation
When you’re tasked with the mission of procuring a new rail control solution, taking time to clearly specify your [...]
The Key to a Successful Rail Control Project
Despite exciting technological advancements, carrying out a successful rail control project today remains a complex burden with a multitude [...]
Takeaways from the Signaling Design Automation Forum 2021
November 16 Prover hosted Signaling Design Automation Forum 2021 in Paris. The Signaling Design Automation Forum is an event [...]
EVENTS
Recorded Webinar – Establishing safety with Formal Verification
Safety is critical for the railway industry. We believe the method that should be used for safety assurance is Formal Verification. Join us in a webinar on this subject.
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.
