ctual behavior. 86 Validation of Communications Systems with SDL 4.3.4 Detect nonsimulated parts After a simulation session, the Simulator indicates41 which parts of the SDL model have not been simulated: states transitions basic blocks42 An example of state, transition and basic block is provided in Figure 4.51. process DLC (0, maxDLC + 1) FPAR me DLCident, originator Boolean connected a state L_DataReg We do not , uData) get the first L_ReleaseReq V76frame (V76para) parameter Iparam : V76frame V76para ! present fill_lframe(me, uData, 15) (DISC (. me VIA peer V76frame(I : Iparam) ( DISC) VIA peer waitUAdisc V76frame (UA (. me .) CALL CRCok 6frame (V76pa VIA peer (V76para ! I!CRC) a transition V76para ! present DLCstopped True ) False ) ( UA, DM) L Datalnd the V76para! data) DLCstopped(me) a basic block Figure 4.51 Examples of state, transition and basic block Then you can simulate again the SDL model until you reach 100% coverage for the states, transitions and basic blocks. After playing all possible scenarios (which is easier using exhaustive simulation, if the model does not have too many states), the states, transitions and basic blocks not simulated are considered as "dead" parts: they can be removed, after careful inspection. A. If the Simulator is already running, jump to E. B. In the SDL Editor, unload all files except v76.pr. C. If the ObjectGeode Launcher is not running, in the Editor select Tools > SDL & MSC Simulator. D. In the ObjectGeode Launcher, Press the Execute button: the Simulator starts. 41 A counter is associated to each state, each transition and each basic block: every time a state, transition or basic block is simulated, its counter is incremented. A value of 0 means it has never been simulated. In fact, basic blocks include transitions (except the implicit transition corresponding to discarding an unexpected signal). Interactive Simulation 87 Hierarchy Browser Locate Track Create Watch Add to Watch Stop if v76test Print Reset Coverage Figure 4.52 The Simulator Hierarchy Browser E. In th