TimeWeaver verbindet statische Pfadanalyse mit Zeitmessungen, um die schlimmstmögliche Ausführungszeit (engl. worst-case execution time, kurz WCET) von sicherheitskritischen Anwendungen abzuschätzen.
Das Tool schätzt die WCET einzelner Tasks basierend auf den Ausführungszeiten von Codefragmenten aus dem Echtzeit-Tracing auf der Instruktionsebene.
Ihre Vorteile
- Der hybride Ansatz greift bei einer großen Anzahl moderner Hochleistungsprozessoren, für die eine Vorhersage der Ausführungszeit statisch nicht geleistet werden kann – z. B. wenn Interferenzen zwischen den Prozessorkernen nicht zufriedenstellend kontrolliert oder verhindert werden können, oder wenn die verfügbare Dokumentation nicht ausreicht, um ein Timing-Modell für einen rein statischen Analysator wie aiT zu erstellen.
- TimeWeaver ist nicht-invasiv. Er benötigt keine Code-Instrumentierung, die die Zeitmessung verzerrt. Er nutzt die Embedded-Trace-Units moderner eingebetteter Mikroprozessoren (Nexus 5001, CoreSight ETM usw.), um den Programmfluß zu beobachten. Interferenz-Effekte (Verzögerungen beim Zugriff auf gemeinsame Ressourcen), die sich auf die Traces auswirken, werden voll berücksichtigt.
Input
TimeWeaver benötigt die folgenden Eingaben:
- ein Executable
- Ausführungstraces,
z. B. BHM-Traces nach dem IEEE-ISTO-5001-Standard - optionale Annotationen,
z. B. Schleifengrenzen, im selben Format wie andere AbsInt-Tools wie aiT, TimingProfiler oder StackAnalyzer
Analyseergebnisse
Die Ausgaben umfassen:
- Die globale WCET eines gegebenen Tasks
- Die lokale WCET bestimmter Funktionen, abhängig von den Tracepoints
- Abdeckung des Kontrollflußgraphen durch die vorhandenen Traces
- Maximal mögliche und maximal beobachtete Zahl der Schleifendurchläufe
- Zeitabweichungen zwischen verschiedenen Traces für dasselbe Codefragment
TimeWeaver bietet Ihnen dieselbe leistungsstarke Benutzeroberfläche, die Sie von anderen AbsInt-Tools gewohnt sind:
- nahtlos integrierte grafische und textuelle Anzeigen zum Kontrollfluß, Quellcode, Assembly-Code, Konfigurationsdateien und den Analyseergebnissen
- einfaches Speichern und Wiederherstellen von verschiedenen Analyse-Szenarien
- anpaßbare Analyseberichte zu Dokumentations- und Zertifizierungszwecken
- schnelles Umschalten zwischen TimeWeaver und anderen Analyse-Tools
Jetzt kostenlos testen
Testen Sie TimeWeaver kostenlos an Ihren eigenen Anwendungen.