Homepage 2017-04-12T12:48:43+00:00

Engineering a Safer World

Interlocking Design Automation to meet 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.

Are you Managing Signaling Control Solutions?

Signaling Control Systems Managers main challenge is to be able to handle the demand of the future rail road. The level of complexity will increase dramatically. This will demand a new concept for how digital train control need to function and operate. It is the Signaling Control Systems Manager that need to lead the infrastructure providers in to this new era.


Are you supplying Signaling Control Solutions?

Reaching higher productivity and reducing risks are key success factors for the modern signaling control supplier. The goals are to deliver new innovative signaling solutions that meet the demands of the digital railway of today and tomorrow. This needs to be done on time, at a lower cost and with the highest quality and safety. Find out how this can be achieved.


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.



PiSPEC is a formal specification language designed to facilitate formalization and review of requirement specifications for railway signaling systems, and to enable automated engineering and verification of such systems. PiSPEC is used to formalize design, test and safety specifications.

Prover iLock

Prover iLock is a desktop tool for development of application software for railway interlocking systems. Prover iLock automatically turns PiSPEC IP together with an application configuration into revenue service code for the given target hardware, complete with functional test and safety verification reports.

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. Prover Certifier minimizes the need for traditional safety verification tasks such as testing and code review.

logo-siemens-300x200 logo-nyc-300x200 logo-jernbaneverket-300x200
logo-ansaldo-300x200 logo-sl-300x200 logo-ratp-300x200


SafeRail Washington April 11-12

Prover will participate at SafeRail in Washington focus on the topic `Ensuring mission critical safety´. SafeRail is the only dedicated congress for all stakeholders involved in operational safety, digital and physical security on the North [...]

SmartRail Europe April 5-6

Prover will participate in this years exhibition held in Amsterdam and during this years event we will host a workshop about the benefits of using Formal Verification when delivering Signaling Systems. In the workshop we [...]

United Rail new partner in North America

United Rail, Inc. announces a new agreement with Prover Technology to represent their products and solutions to new clients in the North American freight, passenger and mass transit markets. Jacksonville, Florida, November, 2016  United Rail, [...]


Your inquiries are welcome.
Give us a call or use the form.

By continuing to use the site, you agree to the use of cookies. More information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this. To find out more, visit http://www.prover.com/privacy-cookie-policy/