Homepage2021-07-01T18:33:14+01:00

Engineering a Safer World

Signaling Design Automation and Formal Verification to meet the Demand for the Railway of the Future

Engineering a Safer World

Speed, Safety and Savings

Railway infrastructure managers need new rail control systems to support increased traffic capacity. Existing legacy systems are replaced with new, digital rail control to reduce headway and conform to interoperability standards such as ERTMS and CBTC. This is where Prover plays a part. Prover provides software automation solutions that increase the capacity for delivering software for new and more complex digital train control, and meeting demand on improved safety for today’s more complex digital rail control.
FIND OUT MORE

LATEST NEWS

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.

FIND OUT MORE

Prover Studio

Prover Studio is an integrated development environment for formal specifications.

Read more

Prover iLock®

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

Read more

Prover Certifier

Prover Certifier is a sign-off verification tool, creating CENELEC EN50128 SIL 4 compliant safety evidence for the Specific Application software based on formal verification.

Read more
READ MORE ABOUT OUR SOLUTIONS
Go to Top