Home | Download | Screenshots | Documentation | Case studies | Publications | DARTS team | Contact us |
|
The simulator window is divided into four sections:
Enabled transitions
When simulating only one execution trace within the tree is explored.
On every step of simulation there can be several enabled transitions,
different ways to go, due to non-determinism. These possibilities
are shown in the Enabled Transitions view.
Note: When selecting an enabled transition you can see the next predicted state of the system at the bottom of the Message Sequence Chart below the violet bar drawn with brighter colors. In the random run mode transitions are chosen randomly and the simulator continuously performs one simulation step after another. You can stop the simulation at any time by pressing the button. When you have got a trace you can move along it back and forth in the Message Sequence Chart using and buttons. Being at any point of the trace you can observe the state of the system together with the variable values. The button moves the simulator to the end of the trace that is exlored so far. It is possible to continue simulation from any point withing the explored trace. In this case the tail of this trace will be erased. If you press the button the simulator will reset its state to initial as if you have just started it. Watches
In this section you can observe values of variables and clocks as simulation goes. You
can choose the view to see either only clocks, only variables or both together. There is
also a fourth view with two progress bars in it. The first progress bar is showing the
processor utilization, i.e. how busy is the processor executing your model tasks.
This is an average value taken from the beginning of the current execution trace.
The second bar is showing momentary task queue utilization, i.e. how many task instances
are currently in the queue relative to the queue capacity (sum of Max # of tasks
parameter for all tasks).
Message Sequence Chart
Traces in Times are represented by Message Sequence Chart (MSC),
a UML-like sequence diagram showing concurrent execution of processes and their
intercommunication. The MSC view is quite interactive: you can observe the whole
execution trace, move to particular states in it, hide/show different processes etc.
In the Message Sequence Chart process states are hidden (replaced by a thin vertical line)
if they have the same names as the name of a state since the last state change. To view
the state names of all processes at a certain level of the chart move over the pointer
to this level.
Gantt Chart
This section has a form of Gantt Chart visualizing executed tasks, where
the horizontal axis represents time. The top line is associated with the processor
idling, i.e. blue rectanges appearing on it denote periods when the processor
doesn't execute any task. On the lines below the execution of tasks is drawn.
Tasks sorted on a Gantt Chart according to their priorities with the higher priority
task depicted on the top line. The black up-arrow denotes a task release time,
red rectangle corresponds to the task execution and the down-arrow shows that
the task has finished its execution.
Similarly to the MSC view Gantt Chart is also interactive in the sense that
you can move the pointer over the timepoint you are interested in and
jump to it by left-clicking. The scale of the timeline is adjustable.
Use [+] and [-] buttons in the upper left corner to change the scale.
Simulator menus
See also:
Times Editor |
Analysis
|
||||||||||||||
|