Generic Application Engineering with PiSPEC
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.
Prerequisites
- 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.
What you will learn
Yes please, contact me!