Validation of Communications Systems with SDL – The Art of SDL Simulation and Reachability Analysis

L Doldi (Autor)

Software / Digital Media

310 Seiten

2005
John Wiley & Sons Ltd (Hersteller)
978-0-470-01415-8 (ISBN)

Infos

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(t) and Tau SDL(t) 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 features This book offers you the opportunity to:* Learn expert validation techniques and tips* Master advanced simulation features of Telelogic ObjectGeode(t) and Tau SDL Suite(t)* Practice 156 hands-on exercises with solutions. The SDL models and scripts used in the exercises can be downloaded from the Web.

Autor

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(t) and Tau SDL Suite(t) 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.

Inhalt

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.

Produkt-Details

• Erscheint lt. Verlag: 28.1.2005
• Verlagsort: Chichester
• Sprache: englisch
• Maße: 174 x 252 mm
• Gewicht: 734 g
• Themenwelt: Technik ► Nachrichtentechnik
• ISBN-10: 0-470-01415-6 / 0470014156
• ISBN-13: 978-0-470-01415-8 / 9780470014158
• Zustand: Neuware