mpty MSC33 . B. In the Editor, close the Framework window. C. In the Editor, check that you have only two open windows: the empty MSC and the SDL tracking (named Default tracking). Close (do not minimize) any other window. D. In the Editor, Select Window > Tile Horizontally, and arrange the Simulator and Editor windows as in Figure 4.38. F:ADONNEESITRANSMET\livreSimul\AmodelsOGW76\v76 geodedit MSC ogsm4 File Edit View Execute Tools Help Eile Edt View Navigate Tools Window Help About selection: per FSM default dica!dispatch step 3 Filter trans dealdispatch start Watch START process dispatch(1 1) Print NEXTSTATE ready; ready This is a priority input Traces: step 4 L_DataReq ReleaseReg. EstabReg Defaults trans dicbidispatch start (DLCnum_uDafa) (DLCnum) (DL Coumi START Restore NEXTSTATE ready: (DLCnup) LCnum (LCrum) SDL tracking NULL) DLCnum not DLCnum no Start MSC Firable Transitions setup setuo DL Crum not Watch dcaldispatch from_ready_input_ datareo with Ldatareq(0 86 used, we creste dcaldispatch from_ready_input datareo with I datareq[1 39 L DataReq L ReleaseRed (DLCnum, True) an instance of L Releasel MSC-driven: (DLCnum, uData) Cnum) TO process DLC (DLCnum) dcaldispatch m_ready_input estabrea with abrea TO DLCs(DLCrum) DL Cs(D Cnun) dcaldispatch from_ready_inpul_ estabreq with I _establec(1) We store into the Activate DL Cs(DLCnum) table the PID of dcaldispatch from_ready_input_! setparmieq with selparmre We pass the frame OFFSPRING the new instance dcaldispatch tom_ready_prionity_input__releasereq with rele to the corresponding Redo: dicbidispatch from_ready_prionity_input__releasereq with _rele instance of process DLC waitUA Now 0 Verify MSC ogsm4 ogsm4 15 objet(s) 193 Ko Démarrer Ready 09:00 Figure 4.38 The Simulator ready for SDL animation and MSC recording For the moment, you will check this "manually", we will see later how to automatically validate the SDL model against a set of MSCs. 33 To see the state of each process in the MSC, type trace state in the Simulator command line. 76 Validation of Communi