SDL Training






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.

Copyright © TransMeth Sud-Ouest 1997-2003