Can I read Validation of Communications Systems with SDL : The Art of SDL Simulation and Reachability Analysis on EtoBox?

Validation of Communications Systems with SDL : The Art of SDL Simulation and Reachability Analysis by Laurent Doldi(auth.) is a nonfiction available to read on EtoBox.

What is Validation of Communications Systems with SDL : The Art of SDL Simulation and Reachability Analysis about?

__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: ObjectGeodeTM and Tau SDLTM 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:

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

Author

Laurent Doldi(auth.)

Publisher

John Wiley & Sons, Ltd

Published

2003

Language

EN

ISBN

9780470299838

Category

nonfiction

Subjects

Engineering, Computer Science, Networking