kpoint Help Execute Group OUTPUT of V76frame to env:1 NEXTSTATE ready Symbol Break Command : Transition Until Timer OUTPUT of V76frame to dispatch:1 from 271 Next-Transition Send Signal Group TRANSITION START Send To Send Via Send None PId : dispatch:1 State : ready Examine Input : V76frame Group Sender : 271 00971900 Nov : 0.0000 Process List Variable Var In Scope DECISION Value: XIDresp OUTPUT of SetparmConf to env:1 Trace Group NEXTSTATE ready Command v76frame SDL Simulator UI -F:ADONNEESATRANSMET\livreSimul\modelsSDT\pas_pour_ftp\V76_2simW76test_smc.exe - File View Buttons Log General Execute Examine Change Show Trace Breakpoint Help Execute Group *** NEXTSTATE waitParmResp Symbol Break Command : Output-To L SetparmResp dispatch Signal L SetparmResp was sent to dispatch:1 fr Transition Until Timer Process scope : dispatch:1 Send Signal Group Command : Next-Transition Send To Send Via Send None TRANSITION START PId : dispatch:1 Examine State : waitParmResp Group Input : L SetparmResp Sender : env:1 Process List Variable Var In Scope Nov : 0.0000 OUTPUT of V76frame to env:1 Trace Group NEXTSTATE ready Command: Figure 8.13 The two Simulators after the XID exchange J. Simulate an XID exchange: in the first Simulator, transmit an L_SetParmReq to process dis- patch (using the button Send To), execute the transitions: the signal v76frame is transmitted to the second Simulator. Execute the transitions to input it; after output of L_SetParmInd, transmit an L_SetParmResp to process dispatch (always in the second Simulator), execute the input transition: the signal v76frame is transmitted back to the first Simulator. In the Other Simulator Features 275 first Simulator, you see the reception of v76frame. Execute the transitions to input it: an L_SetParmConf is transmitted. The XID exchange is finished. 8.1.8 Real-time simulation During simulation, the Simulator uses discrete time; after starting an SDL timer with a value of five minutes, you are not forced to wait five minutes before its timeout: you can trigger the time