Project Description

Generic Application Engineering with PiSPEC

Learn how to Formally Specify Generic Signaling Principles

In this three-week program, engineers will learn how to develop, review, and maintain formal specifications using PiSPEC. Class room sessions are spread over three months, in order for students to have the opportunity to practice and reinforce their skills.

Who should attend

Engineers who shall work with formal specification, in particular for interlocking systems.


  • Prover Certified Specific Application Engineer.
  • Basic knowledge about railway signaling concepts such as switches (points), signals, track circuits, routes, flank protection and front protection.
  • Experience in object-oriented software development or predicate logic will be beneficial.


Prover Certified Generic Application Engineer (CGAE)



What you will learn

  • How to specify an object model for a generic application (which physical and virtual objects exist, how they can be parametrized and what inputs/outputs they have)
  • How to specify a Generic Application Configuration (telling how the system shall be configured)
  • How to make a Generic Design Specification (telling how the interlocking objects shall behave)
  • How to make a Generic Test Specification (telling how the system shall be tested)
  • How to make a Generic Safety Specification (telling which safety properties must be fulfilled by the system)

Duration and format

Three weeks with 4 days of training each, spread over a three-month period.

Download PDF

Send a request by filling out the form!

We will get back to you to book a date.