 testl.com and cnx2.com Log-On test resl.wri Define-MSC-Trace-Channels on Start-Interactive-MSC-Log 0 /* Basic MSC * / Include-File test1.com /* The two arrays DLCs must contain (: null, null : ) : * / Examine-Variable ( <<Block DLCa>> dispatch DLCs Examine-Variable ( <<Block DLCb>> dispatch DLCs Include-File cnx2.com List-Process - /* to check that all DLC inst. are connected * / Log-Off Here are a few more explanations on the script: Log-On test_res1.wri: all simulation traces will be written into the file test_resl.wri. Define-MSC-Trace-Channels on: to get two environment instances in the MSC trace. Start-Interactive-MSC-Log 0: starts the MSC trace (0 means MSC without states or actions). Include-File - test1.com: executes the commands contained in the file testl.com. Include-File - cnx2.com: executes the commands contained in the file cnx2.com. Log-Off: stops the logging, otherwise the file cannot be opened while the Simulator is running. Once you have typed the script into the file script1.com, execute it: A. Launch the Simulator. B. Select Execute > Command Script, choose scriptl.com and press OK: the Simulator exe- cutes the commands contained in script 1.com. If the model (and the script!) is correct, you get a file test resl.w. containing the simulation traces, plus an MSC displayed by the MSC Editor18. You will learn in Chapter 5 how to check that your SDL model behavior complies with an MSC, for example. It will be even more powerful to test an SDL model automatically: for example, we will be able to check the value of a parameter in a signal transmitted. 4.2.7 Other Simulator features This section describes features of the Simulator that are not absolutely essential to validate an SDL model, but which can be very helpful and save a lot of time on an actual system validation. 18 To speed up the replay for a large number of long scenarios, you can turn off the SDL trace. 64 Validation of Communications Systems with SDL 4.2.7.1 Macros You can define macros (a kind of aliases), for example, to give your o