PiSPEC

PiSPEC

PiSPEC – Prover iLock Specifications

A formal language specifically tailored for design of interlocking systems.

A Language fused for Generic Applications in the Prover Trident process and the Prover iLock tool.

What is PiSPEC?

PiSPEC is a formal language dedicated to signaling engineering. It enables you to specify signaling requirements in a clear and formal way and to package this as reusable Generic Application.

PiSPEC was developed to be the perfect interface between signaling engineers and signaling automation tools such as Prover iLock. Care has been taken to make language features self-explanatory.

PiSPEC is very similar to HLL, but allows also some abstraction with respect to the execution model.

PiSPEC

A Formal Language for design specification

PiSPEC builds on standard concepts that are taught in engineering classes all over the world. It originates from predicate logic, enhanced with a type system and object orientation. The type system helps discovering many flaws and omissions already during the writing of the specification. The object orientation supplies classes, inheritance and interfaces, that adds structure to the specifications and provides a natural way to model any signaling system. 

PiSPEC is very similar to HLL. If you are already familiar with HLL you will quickly learn to use PiSPEC. It can be seen as an object-oriented version of HLL. 

Supported by Prover iLock

When using PiSPEC together with Prover iLock a test-driven approach to the development of the specifications is encouraged and supported by the tool. You can develop design, test and safety requirements in parallel and try them out on reference applications configured in Prover iLock, with instant feedback. 

Prover iLock
Prover Studio PiSPEC

Supported by the IDE Prover Studio

Prover Studio stands out as the natural choice for developing Prover iLock Generic Applications, providing robust support for PiSPEC development. With Prover Studio, you can easily highlight and validate the syntax of the entire PiSPEC language, ensuring a seamless and efficient development experience.

News

Latest news, stories and upcoming events from the railway industry.