Validation of Communications Systems with SDL

<i>Validation of Communications Systems with SDL</i> provides a clear practical guide to validating, by simulation, a telecom system modelled in SDL. SDL, the Specification and Description Language standardised by the International Telecommunication Union (ITU-T), is used to specify and develop complex systems such as GSM, GPRS, UMTS, IEEE 802.11 or Hiperlan. Since the downturn in the telecom industry, validating a system before its implementation has become mandatory to reduce costs. <p>This volume guides you step by step through the validation of a simplified protocol layer, from interactive simulation to proof of properties using reachability analysis combined with observers. Every step is explained, using the two main SDL tools commercially available: ObjectGeode™ and Tau SDL™ Suite, both from Telelogic.</p> <p>Contents:</p> <ul> <li>Short tutorial on SDL</li> <li>Presentation of the protocol layer case study</li> <li>Interactive simulation, MSC generation</li> <li>Scripting, automatic non-regression</li> <li>Auto matic validation against MSC, HMSC, etc.</li> <li>Random simulation</li> <li>Exhaustive and bit-state simulation</li> <li>Errors detected and not detected by simulation</li> <li>Other simulator features</li> </ul> <p>This book offers you the opportunity to:</p> <ul> <li>Learn expert validation techniques and tips</li> <li>Master advanced simulation features of Telelogic ObjectGeode™ and Tau SDL Suite™</li> <li>Practice 156 hands-on exercises with solutions. The SDL models and scripts used in the exercises can be downloaded from the Web.</li> </ul>