Simulate the synthesized SDL model

In this exercise we demonstrate how to simulate the synthesized SDL model using the Telelogic Tau Simulator UI.

Simulation of a synthesized SDL model is similar to the direct simulation of the input MSC model, demonstrated earlier. Direct simulation of MSCs allows the author of scenario-based specifications to interactively explore the behavior of the model without dealing with any complexities of state machines or details of SDL notation. However, at more advanced modeling stages, dealing with the SDL model becomes important because it offers a state-machine perspective of the behavior of the input model. Also, simulating the synthesized SDL model gives more advanced control over the process of simulation. Simulation of the synthesized SDL model is the topic of this exercise.

1. In the Telelogic Tau Organizer, select the synthesized system and, from the Generate menu, choose Make. Ensure that the simulation kernel corresponds to your C programming environment. In the figure that follows, we set the simulation kernel to "gcc-Simulation", which works for our environment. The SDL Make dialog offers several important options. For information on other options in the SDL Make dialog, refer to the Telelogic Tau documentation.



2. Click the Set button on the SDL Make dialog.
3. Now we are ready to start simulating the synthesized SDL model. Select the synthesized system and click the Simulate button in the Tau Organizer.



Telelogic Tau performs the following steps:

• Calls Tau code generator to produce the corresponding C code
• Executes the generated makefile to compile and link the executable model
• Starts the Tau Simulator UI

The Simulator UI, with standard SDL buttons, appears. No additional dialogs are produced.



The sequence of steps in this exercise is the same as that in the Simulate MSCs exercise. However, when you directly simulate the synthesized SDL model using the SDL Make dialog you have more control over the steps.

The button definitions are generated to the target directory (file def.btns). The Simulate MSCs capability of the KLOCwork MSC to SDL Synthesizer is capable of generating model-specific buttons.

Note: To do this you may need to remove the file def.btns from your target directory in order to get standard buttons.

4. SDL-oriented buttons have the SDL button in the Trace group. Click the SDL button to allow single-stepping through individual SDL symbols as you simulate the synthesized SDL model. Run the simulation by clicking the Transition button.

Summary

In this exercise, demonstrated how to simulate the synthesized SDL model using the Telelogic Tau Simulator UI.

In the next exercise, we will modify the InfoServer model and introduce some new behavior.