O on, as in Figure 4.30, check that a C compiler is available. 24 In fact when you start the Simulator, two processes start: ogsmgui.exe, the Graphical User Interface, and v76.sim, the command line interface Simulator. 70 Validation of Communications Systems with SDL simul. library Simulation builder compiler v76.sim Simulator model & linker gsmcomp v76.pr v76.sym Figure 4.29 The ObjectGeode simulation building EZ v76.ogl - ObjectGeode Launcher File Edit View Insert Build Options Help SDL & MSC Simulator Working directory (Default) F:\DONNEES\TRANSMET\livreSimul\modelsOGW76 v76.pr SDL Simulator V4.2.2 gsmcomp (c) Copyright 1989-2001 by Telelogic AB. All rights reserved. F:\DONNEES\TRANSMET\livreSimul\modelsOGW76W76.pr" 1 information "F:\DONNEES\TRANSMET\livreSimul\modelsOGW76W76.pr". 0 warning "F:\DONNEES\TRANSMET\livreSimul\models0GW76W76.pr". 0 error Execute b19.c "F:\DONNEES\TRANSMET\ivreSimulAmodelsOGW76W76.pr".information [6.12.1] line 64: CHOICEv76paramtyp not I Ready Figure 4.30 The Simulator is ready to be launched F:ADONNEESITRANSMET\livreSimul\modelsOGW76\v76 File Edit View Execute Tools Help About selection: Stop if Filter Watch Print Traces: Defaults Off Save Restore SDL tracking Watch.. Firable Transitions: MSC-driven: atob(1) start btoa(1) start Activate 4 transitions ready dicaldispatch start dicbidispatch start Redo: Now: 0 Verify Figure 4.31 The Simulator main window Interactive Simulation 71 Four transitions can be fired, because the V.76 model contains four process instances: AtoB(1)2, instance number one of process AtoB, BtoA(1), DLCa!dispatch and DLCb!dispatch. 4.3.1.3 Start the SDL tracking A. Press the button SDL tracking shown in Figure 4.31: this opens a window in the SDL Editor, named Default tracking. Close (do not minimize) the other SDL windows in the Editor, if any. B. Select the first ready transition in the list shown in Figure 4.31: the SDL Editor opens process AtoB(1) and displays in bold its start symbol, as shown in Figure 4.32(a). V76frame V76frame process type toPeer process 