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.

Sie basiert auf der Untersuchung aller möglichen Ausführungspfade für eine Aufgabe oder ein Programm und einer ungefähren Berechnung der Befehlsausführungszeiten für diese Prozessorarchitektur.

Die Fehlermarge der WCET-Berechnung ist zu groß, um als Nachweis für die Zertifizierung dieses Ziels zu gelten, aber sie ermöglicht es, kritische Leistungspunkte und Leistungsengpässe auf der Aufgabenebene von Anfang an zu identifizieren.

Auf diese Weise können die Laufzeiten während der Entwicklung des Quellcodes überwacht werden, wodurch Probleme bei der formalen WCET-Berechnung in letzter Minute vermieden werden.

Außerdem können Sie Diagramme von Funktionsaufrufen und der Flusskontrolle anzeigen. Mit dem ValueAnalyzer-Plugin können Sie auch die Verwendung von Variablen (Lese- und Schreibvorgänge) überwachen.

All diese Funktionen werden ohne Entwicklungsboard und Code-Tooling bereitgestellt.

Es ist auch keine komplexe Konfiguration erforderlich. Es ist von Beginn der Entwicklung an sehr einfach zu verwenden und kann in kontinuierliche Integrationsumgebungen integriert werden, und Leistungsmessungen können bei jedem Build eines beliebigen Teils des Quellcodes durchgeführt werden.