Tool um Multitasking System zu modellieren

Hallo,

kennt jemand ein Freeware Tool (Windows/Eclipse) mit dem man 
modellbasiert Sequenzdigramme (Gantt-Diagramme) erzeugen kann ?

Kommerziell gibt es so etwas von diversen Firmen (z.B. Symtavision 
SymTA/S).

Ich möchte damit meine Mikrocontroller-Projekte dokumentieren bzw. schon 
während des Designs abwägen, ob die Rechenpower reicht oder wo es zu 
Problemen mit der Datenintegrität kommen kann.

Ein Beispiel:
Angenommen ich habe 3 Tasks:

Task0 wird direkt nach dem Start des OS aufgerufen und läuft im 
Hintergrund
Task1 wird per Timerinterrupt zyklisch aufgerufen, sagen wir alle 1ms
Task2 wird nach jeder 3. Instanz von Task1 aufgerufen

Diese "Konfiguration" schreibe ich (mit weiteren Infos zum System) z.B. 
in eine XML Datei.


Dann soll das Tool die Datei einlesen und ein Diagram in der Form 
(graphisch) generieren:

1

T0 |***  **   **    *   **   **    *

2

T1 |   **   **   **   **   **   **

3

T2 |               *              *

4

   +--+----+----+----+----+----+----+--->t 

5

      0    1    2    3    4    5    6