السلام عليكم ورحمة الله وبركاته

Validation of Telecom Systems with SDL
Author: Laurent Doldi
Publisher: John Wiley & Sons
Publication Date: 2003-06-13
Number Of Pages: 310




Book De******ion:

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 De******ion 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: ******Geode™ and Tau SDL™ Suite, both from Telelogic.

*******s:
Short tutorial on SDL
Presentation of the protocol layer case study
Interactive simulation, MSC generation
******ing, 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 ******Geode™ and Tau SDL Suite™
Practice 156 hands-on exercises with solutions. The SDL models and ******s used in the exercises can be downloaded from the Web.


http://mihd.net/9d014p

http://www.uploading.com/files/EKC3K...mun...pdf.html



لكي تحملوا من http://mihd.net/
اولا انقر على Request download link
ثانيا انقر على download file