Controlling execution
Execution can be controlled by use of breakpoints on states and on user code. Conditional breakpoints can also be set.

Setting and editing local variables
Local capsule variables can be observed and edited allowing live debugging and test scenarios to be generated.

Signal injection
Signals and data can be injected into the outer most interface of the software, again permitting test scenarios to be executed.

Port monitoring
Permits the user to observe and record the signals that enter and leave the monitored port plus any data attached to that signal.

Capsule monitoring
Permits the user to observe and record the signals, internal state machine transitions and local variables in the capsule being monitored.