ls process process <<Block DLCa>> process <<Bloc< DLCb>> dispatch dispatch DLCaSU dispatch_1_3 AtoB_1_1 process dispatch_1_4 DLCbSU process L_EstabReq <<Block DLCa>> BtoA_1_2 DLC_1_5 true) V76frame(SABME: (.0.)) T320(12.0000) V76frame L_Establnd (SABME (.0.)) L_EstabResp /th Not yet consumed by */ dispatch_1_4 Figure 4.11 The MSC trace after sending L_EstabResp The last executed SDL symbol, input of L_EstabResp, is selected, as illustrated in Figure 4.12(a). F. Simulate symbol by symbol: press the Symbol button in the Simulator; the next SDL symbol, creation of a DLC instance, has been executed, as shown in Figure 4.12(b). G. Terminate the scenario: in the Simulator, press again several times the Transition button answering No to the question, until you see the output of signal L_EstabConf in the MSC. The two DLCs are both in state connected. The MSC trace generated by the Simulator, displayed in Figure 4.13, shows that the SDL model complies with the MSC in Figure 3.5. The MSC generated contains the values of the signal parameters, such as the DLC number, here equal to 0. H. Save the MSC: in the MSC Editor, select File > Save As, navigate to the desired directory, enter cnx1.msc and press OK. 11 The environment of the SDL model is represented here by the pseudo-instances DLCaSU and DLCbSU. In Object- Geode, the environment is represented by the frame. Interactive Simulation 47 SDL Editor - Process dispatch/part1 - F:\... SDL Editor - Process dispatch/part1 - F:\... File Edit View Pages Diagrams Window Tools Help File Edit View Pages Diagrams Window Tools waitEstabResp waitEstabResp L_EstabResp V76frame L EstabResp V76frame Creates Creates (DLCpeer, False) instance of (DLCpeer, Falsep instance of process DLC process DLC DLCs(DLCpeer] Stores into the DLCs(DLCpeer) Stores into the = OFFSPRING table the PID of the = OFFSPRING table the PID of the Figure 4.12 Simulating symbol by symbol MSC cnx1 process process <<Block DLCa>> process Block DLCb>> dispatch dispatch DLCaSU dispatch 13 AtoB_1_1 dispatch_1_4 DLCbSU proce