Validation of Communications Systems with SDL phần 1 ppt

[...]... or with the environment by transmitting and receiving signals (or remote variables or procedures) through channels and signal routes Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis Laurent Doldi  2003 John Wiley & Sons, Ltd ISBN: 0-470-85286-0 10 Validation of Communications Systems with SDL DLCaSU block block1 (dlc2su) ch1 (su2dlc) ch2 block1 _1 block1_2... on Also, SDL simulation enables the execution of the specification before the target hardware and software platform is available: board, board support package, compiler and so on Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis Laurent Doldi  2003 John Wiley & Sons, Ltd ISBN: 0-470-85286-0 2 Validation of Communications Systems with SDL The SDL Simulators,... transformation of an interactive simulation scenario into TTCN to automatic generation of TTCN test cases covering all SDL symbols or automatic generation of TTCN test cases corresponding to user-defined test purposes 4 Validation of Communications Systems with SDL 1. 3 SIMULATION LIFE CYCLE The life cycle of simulation can be split into three steps, as illustrated in Figure 1. 3: 1 Production of an SDL model... Tutorial on SDL 11 process process1 _1 ready DCL V76par V76paramTyp; V76frame (V76par) ready V76frame (V76par) VIA toB - Figure 2.4 A process block block1_2 SYNONYM maxCnx Integer = 16 ; process2 (0, maxCnx) process1 Process name process1 process2 Number of instances at system startup 1 0 Maximum number of instances no limit 16 Figure 2.5 Examples of number of instances • sender: contains the Pid of the instance... (dlc2su) ch1 (su2dlc) ch2 block1 _1 block1_2 sig1 (V76frames) ch3 (V76frames) DLCaDL Figure 2.2 Block block1 DLCaDL block block3 (V76frames) ch1 block block1 _1 (dlc2su) dlcSU (su2dlc) sr1 ch2 fromB (V76frames) (V76frames) toB (V76frames) dlcDL (V76frames) fromA sig1 process1 _1 DLCbDL toA process3 _1 process3_2 (V76frames) ch3 Figure 2.3 Blocks block1 1 and block3 2 .1. 2 Scope of declarations A declaration is... by exchanging signals through channels (or signal routes) system TCP_IP ch1 TCP block TCP [sig1] [sig2] sr5 pr1 state machine [sig1] IP [sig2] block IP [sig2] sr8 [sig1] pr2 queue process pr1 closed queue process pr2 idle sig2 listen Figure 1. 1 sig1 ready Schematic view of an SDL- 92 description Signals (sig1 or sig2 in Figure 1. 1) arriving on a state machine are queued By consuming a signal from its... state 1 When using an SDL editor, an option allows you to specify if you want the channel to delay signals or not In ObjectGeode and Tau SDL Suite, by default, channels do not delay signals 14 Validation of Communications Systems with SDL process DLC Spontaneous transition Input Priority input Continuous signal L_EstabReq NONE DM n>4 SABME SABME SABME SABME n:= n + 1 n:= n + 1 n:= n + 1 n:= n + 1 DISC... time, have been released around 19 89 However, to my knowledge, 13 years after that release, this is the first book published on validation of SDL systems by simulation Very few other commercial tools or languages provide such a range of features for the validation and development of communications systems and software Some may question the need for this book, as the SDL tools have their own documentation... Charstring, Powerset ASN .1 can be used in an SDL model 1 SDL- 92 means the 19 92 version of SDL plus the corrections introduced in Addendum 1 to Recommendation Z .10 0 of 19 96, sometimes called SDL- 96 Introduction 3 to describe more complex data types, using constructs such as choice (similar to union in C), optional fields, Bitstring or Octetstring and providing standardized encoding rules SDL is object-oriented:... of criteria 1. 2 SDL, LANGUAGE TO MASTER COMPLEX SYSTEMS DEVELOPMENT 1. 2 .1 Overview of SDL SDL stands for Specification and Description Language It is standardized by the ITU (International Telecommunication Union) in the Z .10 0 Recommendation [SDL0 0, SDL9 9] In SDL- 9 21 , the architecture is modeled as a system containing blocks, as depicted in Figure 1. 1 Each block may contain either blocks or processes . xiii 1 Introduction 1 1 .1 Validation of Communications Systems 1 1.2 SDL, Language to Master Complex Systems Development . . 2 1. 2 .1 Overview of SDL . 2 1. 2.2 Benefits provided by SDL 3 1. 3 Simulation. ObjectGeode SDL Simulator 10 9 4.4.3 Dynamic errors not checked 11 0 5 Automatic Observation of Simulations 11 1 5 .1 Principles 11 1 Contents ix 5 .1. 1 Automatic checking of model properties 11 1 5 .1. 2 Specificity. Process 10 2 .1. 4 Procedure 11 2.2 Communication 11 2.2 .1 Signals 11 2.2.2 Channel 13 2.2.3 Signal route 13 2.3 Behavior 13 2.3 .1 Structure of a transition 13 2.3.2 Start 14 2.3.3 States 15 2.3.4