Simulation View

The Simulation View is shown after the Simulation button in the Tool Bar has been pressed and the Simulation preference page confirmed. At the top of the view there is a label showing the previously-selected simulation type including the Promela model filename and two simulation buttons, Single Step and Run. By clicking the Single Step button, MSC is being drawn message by message (if any message is sent and received in the model at all). Clicking on the Run button periodically updates the MSC each time the MSC refresh interval expires as given on the MSC Viewer preference page.

Several options to adapt the display of MSCs are available below the simulation buttons. Details of these options can be found in Simulation. During simulation, the variable values' and queue contents' values are updated in two separate tables at the bottom of the Simulation View.