194 Ko Démarrer Autosave complete 09:33 Figure 4.39 After sending L_EstabReq(0) to the SDL model 34 If you execute a wrong transition, return to the previous simulation step by pressing the undo button (see Section 4.3.7.1). Interactive Simulation 77 In the MSC trace, you see that the process dispatch on side A has received L_EstabReq with 0 as parameter and that dispatch has created one instance of the process DLC. B. Simulate symbol by symbol: in the Simulator, select the transition trans dlca!dlc(1): start: the start SDL symbol of process DLC is in bold. Press the Step Into button shown in Figure 4.40: the first SDL symbol in the transition, decision originator, is executed and is displayed in bold, as illustrated in Figure 4.41(a). 07 26 Now: 0 Figure 4.40 The Step Into button geodedit - [FSM: - geodedit - [FSM: File Edit View Navigate File Edit View Navigate Tools Window Help Tools Window Help process DLC (0, maxDLC + 1) FP, process DLC (0, maxDLC + 1) FP originator originator ( True ) False ) ( True ) False ) N320cnt:= V76frame N320cnt==0 V76frame (UA: (.me " (UA: (.me retry-> connected retry connected Ready Ready Figure 4.41 Symbol by symbol simulation C. Press the Step Into button again: the next SDL symbol, N320cnt := 0, is executed, as shown in Figure 4.41(b). D. Press the Step Out button to terminate the transition: the process DLC now reaches the state waitUA. E. Terminate the scenario: in the Simulator, double-click the following transitions: trans atob (1) : from_ready_input_v76frame trans atob (1) : decision_lose_the_frame ('No') trans dlcb!dispatch : from_ready_input_v76frame trans dlcb!dispatch : from_waitestabresp_input_l_estabresp trans dlcb!dlc (1) : start trans btoa (1) : from_ready_input_v76frame 78 Validation of Communications Systems with SDL trans btoa (1) : decision_lose_the_frame('No') trans dlca!dispatch : from_waitua_input_v76frame trans dlca!dl (1) : from_waitua_input_v76frame After executing those transitions, the MSC trace generated by the Simulator, arranged and displayed in Figur