Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010047242 | TK5103.2 D64 2003 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
Validation of Communications Systems with SDL 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.
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(tm) and Tau SDL(tm) Suite, both from Telelogic.
Contents:
Short tutorial on SDL Presentation of the protocol layer case study Interactive simulation, MSC generation Scripting, automatic non-regression Auto matic validation against MSC, HMSC, etc. Random simulation Exhaustive and bit-state simulation Errors detected and not detected by simulation Other simulator featuresThis book offers you the opportunity to:
Learn expert validation techniques and tips Master advanced simulation features of Telelogic ObjectGeode(tm) and Tau SDL Suite(tm) Practice 156 hands-on exercises with solutions. The SDL models and scripts used in the exercises can be downloaded from the Web.Author Notes
Laurent Doldi worked for several years in safety-critical software development at Airbus. He then joined Verilog in 1987 where he used SDL for many customer applications. Since 1997 Doldi has been a private consultant, using Telelogic's ObjectGeode(tm) and Tau SDL Suite(tm) for design, simulation and code generation worldwide on UMTS, GPRS, rocket mission-critical software, PC firmware, and several satellite communications systems. Laurent Doldi is also author of SDL Illustrated - Visually design executable models - TMSO - ISBN 2-9516600-0-6.
Table of Contents
Preface |
Foreword |
Introduction |
Quick Tutorial on SDL |
The V.76 Protocol Case Study |
Interactive Simulation |
Automatic Observation of Simulations |
Random Simulation |
Exhaustive Simulation |
Other Simulator Features |
Bibliography |
Index |