Stufe 2.

Der Simulator wird zu einem Debugger von Statecharts erweitert. Dazu müssen folgende Funktionalitäten hinzugefügt werden.

Breakpoints.

Der Benutzer kann Bedingungen aufstellen, deren Erfülltheit während der Simulation überprüft wird. Dem Benutzer wird der Status der Breakpoints mitgeteilt.

Monitor.

Alternativ zur graphischen Darstellung der Simulation, sollen die Zustandsübergänge als Folgen von Statuses dargestellt werden können. Ein Status ist die laufende Konfiguration der Statecharts und die vorhandenen Events. Solche Folgen von Statuses nennt man auch Traces.

Speichern der Traces.

Während der Simulation aufgetretenen Traces müssen gespeichert werden können.

Abspielen der Traces.

Traces müssen als graphische Simulation abgespielt werden können.