Statische Binärcode-Analyse-Tools

Dieses Werkzeug ermöglicht es, eine ungefähre WCET während der ersten Phasen der Softwareentwicklung ausschließlich durch statische Analyse des Binärcodes zu erhalten.

Es basiert auf der Untersuchung aller möglichen Ausführungspfade einer Aufgabe oder eines Programms und einer ungefähren Berechnung der Befehlsausführungszeiten für diese Prozessorarchitektur.

Die Fehlerspanne der WCET-Berechnung ist zu groß, um als Nachweis für die Zertifizierung dieses Ziels zu gelten, aber sie ermöglicht es, zu Beginn die kritischen Ausführungspunkte und Leistungsengpässe auf der Task-Ebene zu bestimmen.

Auf diese Weise können die Ausführungszeiten während der Entwicklung des Quellcodes überwacht und Probleme in letzter Minute vermieden werden, wenn die formale WCET-Berechnung durchgeführt wird.

Es ermöglicht auch die Visualisierung von Graphen der Funktionsaufrufe und des Kontrollflusses. Mit dem ValueAnalyzer Plug-in ist es auch möglich, die Verwendung von Variablen (Lese- und Schreibvorgänge) zu überwachen.

All diese Funktionen werden ohne Entwicklungsboard oder Code-Instrumentierung bereitgestellt.

Es ist auch nicht notwendig, eine komplexe Konfiguration durchzuführen. Es ist sehr einfach von Beginn der Entwicklung an zu benutzen und kann in kontinuierliche Integrationsumgebungen integriert werden, um Leistungsmessungen bei jeder Konstruktion eines beliebigen Teils des Quellcodes zu erhalten.