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

Original price was: ₹16,212.00.Current price is: ₹12,969.60.

ISBN: 9780470852866
Author/Editor: Laurent Doldi

Publisher: John Wiley

Year: 2003

1 in stock (can be backordered)

SKU: ABD-JW-186 Category:

Description

“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[trademark] and Tau SDL[trademark] Suite, both from Telelogic. The contents include: short tutorial on SDL; presentation of the protocol layer case study; interactive simulation, MSC generation; scripting, automatic non-regression; automatic validation against MSC, HMSC, etc; random simulation; exhaustive and bit-state simulation; errors detected and not detected by simulation; and other simulator features.
This book offers you the opportunity to: learn expert validation techniques and tips; master advanced simulation features of Telelogic ObjectGeode[trademark] and Tau SDL Suite[trademark]; and practice 156 hands-on exercises with solutions.The SDL models and scripts used in the exercises can be downloaded from the Web.

Additional information

Weight 0.734 kg

Product Properties

Year of Publication

2003

Table of Contents

1. Introduction2. Makiguchi, Ikeda, and Gandhi: A Brief Comparative Study3. Global Citizenship Education and Non-Western Perspectives4. Revisiting the Concept of Dialogue in Global Citizenship Education5. Can Active Citizenship Be Learned? Examining Content and Activities in a Teacher's Education Module Engaging with Gandhi & Makiguchi6. The Practice of Value-Creating Global Citizenship Education7. Culminating Lessons, Moving Forward8. Conclusions-Recommendations for Policy and Practice

Author

Laurent Doldi

ISBN/ISSN

9780470852866

Binding

Hardback

Edition

1

Publisher

John Wiley

Reviews

There are no reviews yet.

Be the first to review “Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis”