main scenarios Now the Simulator is ready to check that the SDL model behaves as described in the MSCs drawn during the analysis step in Section 3.3. You can compare the analysis MSCs and the MSCs recorded during simulation. 4.2.2.1 Send a signal to the model Figures 4.34 and 4.35 show that the V.76 SDL model requires the input of external signals, such as L_EstabReq, contained in the signal list su2dlc on the channels DLCaSU and DLCbSU. You will use the Send Signal command to send such signals to the SDL model: A. In the Simulator, press the Send To button: select L_EstabReq and press OK. B. Enter the value 0 for the parameter of signal L_EstabReq, of type DLCident. Press OK. C. Select the target process << Block DLCa >> dispatch and press OK. 7 If you select 1, the MSC also displays the state of each process instance, and if you select 2 it adds the SDL actions (assignments etc.). 8 The ObjectGeode Simulator feed command has no equivalent here. The Tau Send Signal command corresponds to Execute > Output in ObjectGeode. Thus the external signals cannot be sent before the receiving processes reach a state where they are ready to input them, otherwise they are lost. Interactive Simulation 45 SDL Simulator UI V76test smc exe Editor Process dispatch/part1 :ADON. File View Buttons Log General Execute Examine Change Show Trace Breakpoint Help Pages Diagrams Window Tools Execute Group Command Next-Transition PROCESS dispatch(1 1) Symbol Break TRANSITION START Transition Until Timer : <<Block DLCb>> dispatel ready State start state Send Signal Group 0.0000 NEXTSTATE ready Send To Send Via Send None V76hame Command Define-HSC-Trace-Channels or ready (V76para) Examine MSC trace channels on. Group Command Start-Interactive-M3C-Log o Process List Variable Var In Scope Starting MSC V76para present Trace Group Command SABME V76frame(V760 has TO DLCKV76para Command SimUII Command Command Pages Diagrams Window Iools List-Ready-Queue Command The ready queue is empty MSC SimulatorTrace process process DLCASU DLCbSU A1oB_1_1 BtoA_