 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|---|
|
|
|
|---|
|
|
|
|---|
Speed, Safety and Savings
LATEST NEWS
Your guide to successful rail control projects
If you want to enable safe and reliable rail transportation while making the best use of available infrastructure, implementing [...]
Prover joins RSSI 2022 in Kansas City
This is a great opportunity to meet with the railway industry and to get better insight in the needs of [...]
Prover published in Global Railway Review
Very excited to announce that our VP of Sales, Gunnar Smith, was recently interviewed by Global Railway Review. The article [...]
EVENTS
Webinar – Developing rail control software based on digital twins and signaling design automation
This webinar will cover how to overcome challenges in the delivery of rail control software using a formal development process we call Signaling Design Automation (SDA).
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.
