No products in the cart.
Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis
Original price was: ₹16,212.00.₹12,969.60Current price is: ₹12,969.60.
ISBN: 9780470852866
Author/Editor: Laurent Doldi
Publisher: John Wiley
Year: 2003
1 in stock (can be backordered)
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 |
You must be logged in to post a review.
Reviews
There are no reviews yet.