cations Systems with SDL E. If you do not get firable transitions as in the Simulator window in Figure 4.38, see Section 4.3.1.4. F. Select the third transition in the Firable transitions Simulator area, named trans dlca!dispatch: from_ready_input_l_estabreq with l estabreq(0 from env_dlcasu: the Editor displays in bold the SDL input symbol corresponding to this transition, as depicted in Figure 4.38. 4.3.2.2 Play and record the scenario DLC establishment You will simulate the SDL model, trying to play the scenario described in the MSC DLC establishment, shown in Figure 3.5. The Simulator will generate an MSC trace representing the actual SDL behavior, which you will compare with the expected MSC shown in Figure 3.5. A. In the Simulator, double-click the transition34: trans dlca!dispatch : from_ready_input_l_estabreq with l_estabreq (0) from env_dlcasu The Simulator transmits the signal L_EstabReq to the SDL model, which inputs it and executes the transition to the state waituUA, as illustrated in Figure 4.39. F:ADONNEESATRANSME T\livreSimul\models0GW76\v76 geodedit FSM: default dicaldispatch File Edit View Execute Tools Help Eie Edt View Navigate Tools Window Help About selection: trans dicaldispatch from_eady_input_|_estabreq with Lest R FSM default dica!dispatch Filter INPUT L EstabReq (DLCnum): Watch Print input estabreq from env deasu to dcaldispatch process dispatch(1 1) p1 =0 ready This is priority input: DECISION DLCs DLCnum): Traces: CREATE DLC DLCnum True] COMMENT DDCnum DataReq create from diaaldispatch ReleaseReg EstabReg Defaults Crum, uDafa) TASK DLCs(DLCnum) - OFFSPRING COMMENT We (DLCnum) (DL Cnumi Restore NEXTSTATE weilLIA: (DLCrupt) Cnumb QLCnum) SDL tracking (NULL) Start MSC Firable Transitions DLCnum not, DLCnum no setup " setup DLCnum not Watch dcaldle(1): start used, we creste dicbidispatch from_ready_prionity_input__releasereqwithl _rele L DataReq ReleaseRed (DLCnum, True) an instance of L Release (DLCnum, uData) Cnum) TO MSC-driven: process DLC (DLCnum) TO DLCs(DLCnum) Ca(DL Crun) Activate