Engineering a Safer World

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

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

Formal Methods for Industrial Critical Systems 2020

By Lidiya Kondakova|2020-10-14T13:55:54+01:00October 14th, 2020|Formal Methods|

The 25th International Conference on Formal Methods (FMICS) 2020 took place virtually in Vienna on the 2-3 September. Today Formal [...]

Model Based Development Webinar with Ansys

By Olav Bandmann|2020-09-24T06:37:46+01:00September 24th, 2020|Formal Verification|

Study our recorded webinar with Ansys Together with Ansys, we held a webinar on Formal Verification for Model-Based Development. Prover [...]

Save the date – SDA Forum in Paris March 23rd

By Anders Linden|2020-09-24T05:01:32+01:00June 23rd, 2020|Events, Formal Verification|

2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, best practices, and [...]

Interlocking Design Automation

There is a need for a modern approach to signaling control for railway if infrastructure managers are going to keep up with the future demand. A modern approach need to handle flexibility and security at the same time.

A new process for how a signaling solution is developed and maintained must become standard practise. The efforts that is needed today for development and maintenance must be radically reduced.

FIND OUT MORE

PiSPEC IP

PiSPEC is a formal specification language designed to facilitate formalization and review of requirement specifications for railway signaling systems.

Prover iLock

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

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.