random) or the two alternatives are explored (exhaustive). 4 We recommend setting your Windows options to display the file extensions (in Windows NT4, open Workstation, then select Display > Options: in the Display tab, check Display all files, and uncheck Mask the extensions for known file types, then press OK). Interactive Simulation 41 B. In the Organizer, select the SDL system V76test and do Generate > Make: the window represented in Figure 4.2 appears. SDL Make Make System V76test Select other(s) Analyze & generate code Code generator Cbasic Generate environment header file Prefix Generate environment functions Full Make Separation Generate signal number file Capitalization As defined Generate ASN.1 coder Generate SDL coder Makefile Target directory: DT\pas_pour_ftpWV76replay\ Generate makefile Analyze Options. Generate makefile and use template: Use makefile: Cancel Compile & link Use standard kernel Microsoft Simulation Use kernel in directory: Preprocess C file Figure 4.2 The SDL Make window C. In the SDL Make window, check that the options are similar to the options selected in Figure 4.2, and depending on your C compiler, select Microsoft Simulation or Bor- land Simulation. D. In the SDL Make window, press Full Make: the Organizer Log appears, as shown in Figure 4.3. If your SDL model is correct, Tau generates the C code, then compiles the C files and links them to the simulator library, to produce the executable file v76test_smc.exe5 as depicted in Figure 4.4. 4.2.1.2 Start the Simulator A. In the Organizer, press the Simulate button to start the Simulator6. The Simulator main window appears, as shown in Figure 4.5. Drag it to the upper left corner of your screen. 4.2.1.3 Start the SDL trace For the moment, four start transitions can be fired, because the V.76 model contains four process instances: AtoB: 1, BtoA:1, << Block DLCa > > dispatch:1 and < < Block DLCb dispatch:1. A. Press the button SDL in the Trace group as indicated in Figure 4.5. B. Press the button Transition in the Execute group: the SD