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.