LEADER 05549nam 2200661 a 450 001 9910143222603321 005 20170815114003.0 010 $a1-280-27197-3 010 $a9786610271979 010 $a0-470-29983-5 010 $a0-470-86482-6 010 $a0-470-01415-6 035 $a(CKB)111087027099600 035 $a(EBL)163119 035 $a(OCoLC)55001806 035 $a(SSID)ssj0000266488 035 $a(PQKBManifestationID)11214752 035 $a(PQKBTitleCode)TC0000266488 035 $a(PQKBWorkID)10302098 035 $a(PQKB)10531548 035 $a(MiAaPQ)EBC163119 035 $a(PPN)17526208X 035 $a(EXLCZ)99111087027099600 100 $a20030806d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aValidation of communications systems with SDL$b[electronic resource] $ethe art of SDL simulation and reachability analysis /$fLaurent Doldi 210 $aChichester ;$aHoboken, NJ $cWiley$dc2003 215 $a1 online resource (312 p.) 300 $aDescription based upon print version of record. 311 $a0-470-85286-0 320 $aIncludes bibliographical references (p. [289]-291) and index. 327 $aValidation of Communications Systems with SDL; Contents; Preface; Foreword; 1 Introduction; 1.1 Validation of Communications Systems; 1.2 SDL, Language to Master Complex Systems Development; 1.2.1 Overview of SDL; 1.2.2 Benefits provided by SDL; 1.3 Simulation Life Cycle; 1.4 Contents of the Book; 1.5 Tools and Platforms Used; 2 Quick Tutorial on SDL; 2.1 Structure of an SDL Model; 2.1.1 System, block and process; 2.1.2 Scope of declarations; 2.1.3 Process; 2.1.4 Procedure; 2.2 Communication; 2.2.1 Signals; 2.2.2 Channel; 2.2.3 Signal route; 2.3 Behavior; 2.3.1 Structure of a transition 327 $a2.3.2 Start2.3.3 States; 2.3.4 Input; 2.3.5 Save; 2.3.6 Variables; 2.3.7 Stop; 2.3.8 Task; 2.3.9 Create; 2.3.10 Output; 2.3.11 Decision; 2.3.12 Timers; 2.4 Data Types; 2.4.1 Predefined data; 2.4.2 Array; 2.4.3 Synonym and syntype; 2.4.4 Newtype; 2.5 Constructs for Better Modularity and Genericity; 2.5.1 Package; 2.5.2 Types, instances and gates; 2.5.3 Specialization; 3 The V.76 Protocol Case Study; 3.1 Presentation; 3.2 Specification of the V.76 Protocol; 3.2.1 Abbreviations used; 3.2.2 Exchange identification procedures (XID); 3.2.3 Establishment of a data link connection 327 $a3.2.4 Information transfer modes3.2.5 Release of a DLC; 3.3 Analysis MSCs for the V.76 Protocol; 3.4 The SDL Model of V.76; 3.4.1 The simulation configuration of V.76; 3.4.2 The package V76; 3.4.3 The block dataLink; 4 Interactive Simulation; 4.1 Principles; 4.2 Case Study with Tau SDL Suite; 4.2.1 Prepare the Simulator; 4.2.2 Validate against the main scenarios; 4.2.3 Detect a bug in the SDL model; 4.2.4 Detect nonsimulated parts; 4.2.5 Validate against more scenarios; 4.2.6 Write a script for automatic validation; 4.2.7 Other Simulator features; 4.3 Case Study with ObjectGeode 327 $a4.3.1 Prepare the Simulator4.3.2 Validate against the main scenarios; 4.3.3 Detect a bug in the SDL model; 4.3.4 Detect nonsimulated parts; 4.3.5 Validate against more scenarios; 4.3.6 Write a script for automatic validation; 4.3.7 Other Simulator features: watch, trace, filter etc; 4.4 Errors Detectable by Interactive Simulation; 4.4.1 Dynamic errors detected by Tau SDL suite Simulator; 4.4.2 Dynamic errors detected by ObjectGeode SDL Simulator; 4.4.3 Dynamic errors not checked; 5 Automatic Observation of Simulations; 5.1 Principles; 5.1.1 Automatic checking of model properties 327 $a5.1.2 Specificity of observation with MSCs in Tau SDL Suite5.2 Case study with Tau SDL Suite; 5.2.1 Simulate with user-defined rules; 5.2.2 Simulate with a basic MSC; 5.2.3 Simulate with an MSC containing inline operators; 5.2.4 Simulate with an HMSC; 5.2.5 More details on MSCs; 5.2.6 Simulate with observer processes; 5.2.7 More details on observer processes; 5.3 Case Study with ObjectGeode; 5.3.1 Simulate with stop conditions; 5.3.2 Simulate with a basic MSC; 5.3.3 Simulate with a hierarchical MSC; 5.3.4 More details on MSCs; 5.3.5 Simulate with GOAL observers 327 $a5.3.6 More details on GOAL observers 330 $aValidation 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 606 $aWireless communication systems$xComputer simulation 606 $aMobile communication systems$xComputer simulation 606 $aSDL (Computer program language) 615 0$aWireless communication systems$xComputer simulation. 615 0$aMobile communication systems$xComputer simulation. 615 0$aSDL (Computer program language) 676 $a621.382 676 $a621.38450113 700 $aDoldi$b Laurent$0855880 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143222603321 996 $aValidation of communications systems with SDL$91910744 997 $aUNINA