 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|---|
|
|
|
|---|
|
|
|
|---|
Speed, Safety and Savings
LATEST NEWS
Signaling Design Automation Forum 2021 – Paris
A few years back we got the idea of creating a forum for sharing experiences, best practices, and for [...]
LCF – For data exchange between humans and machines
Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured [...]
Introducing Prover Studio
I am proud to present Prover Studio, an integrated development environment for formal specifications. I must admit, we should have [...]
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.
