Experience has taught us to adapt the use of the techniques to best advantage. We can advise your committee on how and where these techniques may be used to best advantage. In some instances simple MSCs may be enough. In others fully simulatable models may bring real benefits, even facilitating automatic test case generation. Descriptive SDL ETSI MTS has produced a very useful guide for writing SDL specifications in a simple and understandable manner.
Complexity is kept to a minimum but users can still produce complete and even simulatable modules.
Simulation and Validation One of the real benefits of using SDL is that a well-specified model can be simulated. This visualisation is often appreciated by members of a committee who want to understand the behaviour of the SDL without actually looking into the detail of the model. On-line simulations can also give a good focus for discussion and analysis. Modern SDL tools contain powerful capabilities for checking that a system is well-built e.g., that it does not contain deadlocks etc. The production of the SDL specification should be well-planned and adequate resources should be made available within the TB to do the task.