 A. Exit from the Validator (answering No to the question). B. In Windows (or Unix), make a copy of the file dispatch.spr into dispatch_v6.spr. C. Open process dispatch in the SDL Editor, and create a new page part1_2 and rename part1 part1_ 1. D. Split the state machine in part1_1 into two parts, one in part1_1 and the other in part1_2 2, as illustrated in Figures 7.28 and 7.29. E. Insert four decisions in part1_1 as illustrated in Figure 7.28. F. Insert one decision in part2 after the answer UA, as shown in Figure 7.30. G. Save the SDL model. 7.3.5 Forty seconds to detect missing save of L_DataReq 7.3.5.1 Run again the bit-state simulation To save time, we will set the Validator to stop after discovering two exceptions, rather than finishing the whole reachable states exploration. A. In the Organizer, select the SDL system V76test and press Validate B. Select Options2 > Bit State: Depth and enter 15000. Exhaustive Simulation 207 PROCESS dispatch(1, 1) part1_1(3) NEWTYPE DLCsArray ARRAY(DLCident, PID) ready ENDNEWTYPE; /* Temporary variables: */ /* to store the PIDs of instances DLCnum, DLCpeer DLCident, of process DLC, necessary in uData Integer, V76frame ready (V76para) outputs to route signals : */ V76para V76paramTyp; DLCs DLCsArray; XIDcmd XIDresp ELSE 76para ! present SABME DLCs(V76para, DLCs(V76para, NDLCi) Nul DISC D DLCI) L_Setparmind L_SetparmCon V76frame(V76para) V76frame(V76para) TO DLCs(V76para ! TO DLCs(V76paitParmResp DISC I DLCi) DLCs(V76para, DLCs(V76para, L_SetparmResp V76frame DAIDLCi) DM !DLCi) V76frame(V76para) V76frame(W6para) V76frame TO DLCs(V76para ! TO DLCs(V76para (XIDresp : 0) UA!DLCi DM I DLCi) VIA dlcDL ready Figure 7.28 Process dispatch page part1_1 PROCESS dispatch(1, 1) part1_2(3) waitEstabResp DLCpeer:= V76para ! SABME ! DLCi L_EstabResp V76frame (DLCpeer) Creates Releaselnd (DLCpeer) (DLCpeer, F False) instance of process DLC L Establnd V76frame DLCs(DLCpeer) Stores into the (DLCpeer) (DM :(. DLCpeer.)) OFFSPRING table the PID of the VIA dlcDL instance just created. waitEstabRe