aiT-Screenshots

Die aiT-Benutzeroberfläche: Quellcode-, Disassembly- und Meldungsfenster.

aiT-Analyseergebnisse: die berechnete WCET wird in CPU-Zyklen angegeben. In dem Aufruf- und Kontrollflußgraphen können detaillierte Informationen zu jedem Knoten abgerufen werden, von kompletten Routinen bis hin zu einzelnen Instruktionen.

Ausführliche Analyseergebnisse: der Beitrag einer Routine zur Gesamt-WCET in verschiedenen Kontexten.

Der Worst-Case-Ausführungspfad wird im Aufruf- und Kontrollflußgraphen farblich hervorgehoben.

Für jede Kante gibt sum # die Anzahl ihrer Durchläufe im schlimmsten Fall an und max t die WCET des Basisblocks, von dem die Kante ausgeht. Für jede einzelne Instruktion kann die Menge aller möglichen Pipeline-Zustände eingesehen werden.

Formales Pipeline-Modell des ColdFire 5307, eine der Grundlagen zur WCET-Berechnung.

aiT für PowerPC 755: Visualisierung des Cache- und Pipeline-Verhaltens. Jede horizontale Ebene entspricht einem CPU-Zyklus. Verzweigungen in dem Ausführungsbaum stellen verschiedene Ausführungsszenarien dar, z.B. einen Cache-Hit und einen Cache-Miss, sofern beide Fälle analysiert werden müssen. aiT rechnet automatisch alle möglichen Szenarien durch.

aiT für MPC5xx: Visualisierung der Ergebnisse der Pipeline-Analyse für eine einzige Instruktion. Jeder gelbe bzw. grüne Untergraph entspricht einem Pipeline-Zustand. Der in aiT integrierte Graph-Browser aiSee ermöglicht interaktives Erkunden von CPU- und CPU-Core-Zuständen an beliebigen Stellen im Graph.