Validation of Communications Systems with SDL (eBook)

The Art of SDL Simulation and Reachability Analysis

Laurent Doldi (Autor)

eBook Download: PDF

2003 | 1. Auflage
328 Seiten
Wiley (Verlag)
978-0-470-86482-1 (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? and Tau SDL? 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? and Tau SDL Suite?
• Practice 156 hands-on exercises with solutions. The SDL models and scripts used in the exercises can be downloaded from the Web.

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? and Tau SDL Suite? 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.

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(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.

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: 12.9.2003
• Sprache: englisch
• Themenwelt: Technik ► Elektrotechnik / Energietechnik
• Themenwelt: Technik ► Nachrichtentechnik
• Schlagworte: Drahtlose Kommunikation • Electrical & Electronics Engineering • Elektrotechnik u. Elektronik • Mobile & Wireless Communications • Mobile Telekommunikation • SDL
• ISBN-10: 0-470-86482-6 / 0470864826
• ISBN-13: 978-0-470-86482-1 / 9780470864821