Formal Development

Prover iLock®

Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway signaling systems. Ready for compilation and installation on the target platform.

Prover iLock has been used in many projects around the world: as a modeling tool for the production of digital twins, as well as for code generation of signaling systems control software. Whether you want to generate code for an interlocking system or hunt for bugs in a CBTC system, Prover iLock offers the visualization, simulation and verification capabilities that you will need.

Prover iLock has been used for the creation of signaling systems code meeting the highest safety requirements according to CENELEC EN50128 SIL4.

Prover iLock is one of three parts of the Prover Trident concept, a complete development process for development and verification of signaling systems.

Prover iLock

About Prover iLock®

Given the signaling rules captured in a PiSPEC specification and the configuration of a specific signaling system, Prover iLock instantiates the requirements for the configured application.

Computer
Turn the instantiated requirements into revenue service code
Computer
Formally verify that the code meets the safety requirements
Computer
Test the functionality using simulation
Computer
Document the application and produce test instructions for installation testing

Prover iLock® consists of the following
software modules

References

Prover’s innovative solution bring benefits to many types of Rail Control Projects.

Book A demo

Learn the possibilities with Prover – in action!

Book a 30 minute demo and learn about what benefits Prover products can bring to you and your organisation.

We’ll cover how to:

  • Specific Application Engineering with Prover iLock

  • Formal Verification with Prover iLock and Prover Certifier

Prefer speaking on the phone? Contact us on +46 (0)8 617 68 00.