the Simulator is running, the Editor prevents you from modifying the SDL model: exit from the Simulator (answering No to the question) to enable the modification features of the Editor. Do not exit from the Editor. The firable transition trans dlca!dlc(1): from_waitua_input_t320 is preceded by a *: it reminds you that you executed it before the undo. 84 Validation of Communications Systems with SDL B. In Windows (or Unix), make a copy of the file v76.pr into v76_v1.pr (but continue working on v76.pr, which becomes version 2). C. In process dispatch, partition part2, select the input of DLCstopped under state ready, copy it, select the state waitUA and paste: the whole transition is inserted, as shown in Figure 4.47. waitUA V76frame DLCstopped (V76para) (DLCnum) V76para ! present L_Releaselnd(DLCnum) DLCs(DLCnum):= NULL V76frame(V76para) TO DLCs(V76para UA ! DLCi) ready ready Figure 4.47 Missing input of signal DLCstopped added under state waitUA D. In the pasted transition, don't forget to change the nextstate - into nextstate ready, otherwise you will be stuck in state waitUA. E. Save the SDL model. 4.3.3.4 Simulate to check the bug correction To check that the bug has been corrected, you will load and automatically replay the scenario stored in Section 4.3.3.1. See Section 4.3.1 for details on restarting the Simulator. A. In the SDL Editor, unload all files except v76.pr. B. If the ObjectGeode Launcher is not running, in the Editor select Tools > SDL & MSC Simulator. C. In the ObjectGeode Launcher, Press the Build button, then if you do not get any SDL errors, press the Execute button. D. The Simulator starts: press on SDL Tracking and on Start MSC. E. In the Editor, close all windows except Default tracking and ogsm4, close the Framework view and select Window > Tile Horizontally, to obtain the screen shown in Figure 4.38. F. In the Simulator, select File > Scenario > Load, and open retryl.scn: after end of scenario loading, you see 0/26 in the lower part of the Simulator, as shown in Figure 4.48: it means tha