issions in process DLC to 1, instead of 3. 7.4.5.1 Modify the SDL model A. Exit from the Simulator. In the SDL Editor, unload all files except v76.pr; use the last corrected version of v76.pr obtained previously. B. Open process DLC part1 and replace 3 by 1 in the declaration of N320, to obtain: SYNONYM N320 Integer = 1; C. Save the SDL model and select Tools > SDL & MSC Simulator. 7.4.5.2 Run the exhaustive simulation A. To enable block dataLink to lose signals, open the file v76_filter.wri with a text editor, and insert a comment symbol -- as shown: - - trans atob (1) : decision_lose_the_frame(`Yes') - - trans btoa (1) : decision_lose_the_frame ( Yes' ) B. In the ObjectGeode Launcher, remove any file other than v76.pr, press the Build button, then, if there are no errors, press the Execute button. C. Check that the Simulator has executed automatically the four start transitions. D. In the Simulator, select Edit > Configuration and set Reasonable environment to on (box checked) and Loose time progression to off (box not checked)2. E. Select Edit > Filter Conditions and check that the following filters remain: filter length (atob (1) ! queue) > 1 filter length (btoa (1) ! queue) > 1 filter length (dlca!dispatch (1) ! queue) > filter length (dlcb!dispatch (1) ! queue) > 1 filter is_active (dlca!dlc (1) and length (dlca!dlc (1) queue) > 1 filter is active (dlcb!dlc (1) and length (dlcb!dlc (1) !queue) > 1 filter is active (dlca!dlc (2) ) and length (dlca!dlc (2) !queue) > 1 filter is_active (dlcb!dlc (2) ) and length (dlcb!dlc (2) !queue) > 1 filter create dlca!dlc (3) filter create dlcb!dlc (3) 2 To avoid repeating this manual operation, you could add define reasonable feed 'true' and define loose t 'false' into the file v76.startup. 236 Validation of Communications Systems with SDL F. Type the command verify to start the exhaustive simulation: the Simulator displays the current options and starts the exhaustive simulation. After every 8192 global model states, the Simulator displays a line showing the simulation 