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 LEADER 02297oam 2200553 450 001 9910702687903321 005 20150107135750.0 035 $a(CKB)5470000002429306 035 $a(OCoLC)890810436 035 $a(EXLCZ)995470000002429306 100 $a20140918d2014 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 12$aA more efficient and effective government $eimproving the regulatory framework : hearing before the Subcommittee on the Efficiency and Effectiveness of Federal Programs and the Federal Workforce of the Committee on Homeland Security and Governmental Affairs, United States Senate, One Hundred Thirteenth Congress, second session, March 11, 2014 210 1$aWashington :$cU.S. Government Printing Office,$d2014. 215 $a1 online resource (iii, 166 pages) 225 1 $aS. hrg. ;$v113-371 300 $aTitle from title screen (viewed on Sept. 18, 2014). 300 $aPaper version available for sale by the Superintendent of Documents, United States Government Printing Office. 320 $aIncludes bibliographical references. 517 $aMore efficient and effective government 606 $aIndependent regulatory commissions$zUnited States 606 $aAdministrative agencies$zUnited States 606 $aAdministrative regulation drafting$zUnited States 606 $aAdministrative acts$xEconomic aspects$zUnited States 606 $aAdministrative procedure$zUnited States 606 $aDelegated legislation$xEconomic aspects$zUnited States 606 $aGovernment accountability$zUnited States 608 $aLegislative hearings.$2lcgft 615 0$aIndependent regulatory commissions 615 0$aAdministrative agencies 615 0$aAdministrative regulation drafting 615 0$aAdministrative acts$xEconomic aspects 615 0$aAdministrative procedure 615 0$aDelegated legislation$xEconomic aspects 615 0$aGovernment accountability 801 0$bGPO 801 1$bGPO 801 2$bGPO 801 2$bCOO 801 2$bOCLCO 801 2$bGPO 906 $aBOOK 912 $a9910702687903321 996 $aA more efficient and effective government$93488488 997 $aUNINA