L Editor displays the next symbol ready to be executed, as illustrated in Figure 4.6. 5 This is the name corresponding to Microsoft C compiler on Windows. Once you have set your options in the SDL Make window, you can directly compile the SDL model and launch the Simulator just by pressing the Simulate button. 42 Validation of Communications Systems with SDL Organizer Log File Edit Tools Help + Make started SDL Analyzer Conversion of SDL to PR started Conversion to PR completed Syntactic analysis started Syntactic analysis completed Semantic analysis started #SDTREF (SDL, F:\ DONNEES\ ATRANSMET\livreSimul\modelsSDT\V76\V76_v1\dlc.spr(part2), ,212 (10,25),2) WARNING 68 Optional parameter of sort DLCident omitted #SDTREF (SDL, F: \ DONNEES\ TRANSMET\livreSimul\modelsSDT\V76\V76v1\dlc.spr (part2),230 (50,25),1,1) WARNING 89 Trailing parameter of sort DLCident omitted Semantic analysis completed Code generation started Code generation completed Compile and link started Making in F:\ IDONNEES\TRANSMET\livreSimul\modelsSDT\V76\V76 v1) nmake /f V76test.m SCTDIR-E:\1ogint42\TAU40\sdt\sdtdir\wini386\SCTAMVALIDATOR Microsoft (R) Program Maintenance Utility Version 6.00.8168.0 Copyright (C) Microsoft Corp 1988-1998. All rights reserved. c1 -nologo @C:\TEMP\nma00213. V76test.c cl -nologo @C:\TEMP\nmb00213. V76.c link -nologo @C:\TEMP\nmc00213 Compile and link completed Number of warnings: 2 + Make completed Figure 4.3 The Organizer Log after the Make command simul. Cbasic compiler library Simulator system & linker v76test Generator v76test_smc.exe Figure 4.4 The Tau SDL Suite simulation building The right part of the Simulator window contains: TRANSITION START AtoB: 1 State : start state Now : 0.0000 NEXTSTATE ready It means that the Simulator has executed the start transition in the instance 1 of process AtoB (based on process type toPeer), to reach the state ready. Interactive Simulation 43 SDL Simulator UI-F:ADONNEESATRANSMET\livreSimul\modelsSDTW76W76_v1W76test_smc.exe - File View Buttons Log General Execute Examine Chan