In English or en franšais
A copy of the book "SDL Illustrated - Visually design executable models" by L. Doldi
is given to each trainee.
SDL and MSC applied to systems and protocols design, on paper - 3 days
Design of systems by describing the use cases with MSCs and by representing in
SDL the architecture and the behaviour of the system. This course is based on
ITU-T SDL and MSC and is independent of any software toolset.
SDL and MSC applied to systems and protocols design, using a toolset - 3 days
Same course as above, but you make the exercices with the toolset of your
choice (Cinderella, ObjectGEODE, Tau, etc.).
Simulation and formal verification of SDL models - 3 days
Using the toolset of your choice (ObjectGEODE, Tau, etc.): static verification, simulation and formal
verification, automatic observation during behaviour graphs exploration.
Use of scripts, of observers (GOAL, MSC, etc.) for automatic testing of an SDL model.