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
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.
Send a request by filling out the form!
We will get back to you to book a date.