Echtzeit

Analyse und Verifikation von Echtzeitsystemen

Seite: 2/3

Anbieter zum Thema

Die Tools und ihre Funktionen im Einzelnen:

Timinganalyse auf Codeebene

AbsInt bietet Lösungen für die Timinganalyse auf Codeebene. Der WCET-Analyzer namens aiT berechnet garantierte obere Schranken für die längstmögliche Ausführungszeit von Tasks. Die berechneten Schranken berücksichtigen die Zielhardware (Caches, Pipelines, etc), sind präzise und erfordern keinerlei Codemodifikation.

aiT kann auch entwicklungsbegleitend eingesetzt werden und spiegelt die Auswirkungen von Programmänderungen auf die Worst-Case-Laufzeit wider, ohne dass aufwändige Messungen auf dem Target erforderlich sind. aiT wird im Luftfahrt- und Automobilbereich verbreitet eingesetzt und wurde als Analysetool nach DO178B/Level A qualifiziert.

Der TimingExplorer ist eine parametrisierte Variante von aiT, mit der in frühen Designphasen die Auswirkungen von Hardwarefeatures auf die Worst-Case-Laufzeit untersucht werden können. Das Ziel ist es, in frühen Designphasen die garantierbare Performance als Entscheidungsgrundlage für die Wahl der passenden Mikrocontroller zu berücksichtigen. Das Werkzeug TimeWeaver kombiniert Laufzeitmessungen für Codeblöcke mit einer statischen Pfadanalyse, um aus beobachteten Szenarien kritische Pfade zu konstruieren.

Alle Tools haben eine gemeinsame Oberfläche (a³) und sind mit den Werkzeugen von Symtavision und Gliwa über offene Schnittstellen gekoppelt; Ergebnisse können importiert und exportiert werden und per Knopfdruck aus anderen Tools gestartet werden.

Timinganalyse auf Systemebene

Symtavision bietet Lösungen für die Timinganalyse auf Systemebene. SymTA/S ist ein Tool zur Auslegung, Verifikation und Optimierung des Echtzeitverhaltens von Steuergeräten und vernetzten Systemen. Dazu werden Laufzeiten von Einzelfunktionen von den Werkzeugen von AbsInt, Gliwa oder anderen Quellen importiert oder direkt in SymTA/S budgetiert. Weitere vorhandene Daten können ebenfalls importiert werden, z.B. Buskonfiguration oder Restbusmodelle.

(ID:332678)