Wiley Series in Communications Networking & Distributed Systems / Validation of Communications Systems with SDL
(Sprache: Englisch)
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),...
Leider schon ausverkauft
versandkostenfrei
Buch (Gebunden)
99.90 €
Produktdetails
Produktinformationen zu „Wiley Series in Communications Networking & Distributed Systems / Validation of Communications Systems with SDL “
Klappentext zu „Wiley Series in Communications Networking & Distributed Systems / Validation of Communications Systems with SDL “
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 features This 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.
Inhaltsverzeichnis zu „Wiley Series in Communications Networking & Distributed Systems / Validation of Communications Systems with SDL “
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.
Autoren-Porträt von Laurent Doldi
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.
Bibliographische Angaben
- Autor: Laurent Doldi
- 2003, 384 Seiten, Gebunden, Englisch
- Verlag: Wiley & Sons
- ISBN-10: 0470852860
- ISBN-13: 9780470852866
Sprache:
Englisch
Kommentar zu "Wiley Series in Communications Networking & Distributed Systems / Validation of Communications Systems with SDL"
0 Gebrauchte Artikel zu „Wiley Series in Communications Networking & Distributed Systems / Validation of Communications Systems with SDL“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Wiley Series in Communications Networking & Distributed Systems / Validation of Communications Systems with SDL".
Kommentar verfassen