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)