Speed, Safety and Savings
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.
Prover iLock is a desktop tool for development of application software for railway interlocking systems.
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.