Kombinierte Analysen der Task-Response-Time und des Timings auf Code-Ebene
aiT bietet enge Integration mit RT-Druid, dem Schedulability-Analysator von Evidence.
RT-Druid ist ein Eclipse-basiertes Tool zum Modellieren und Analysieren von eingebetteten Systemen. Es bietet Integration mit der Eclipse-IDE und ermöglicht Spezifikation des funktionalen Verhaltens, der Softwarearchitektur und der zeitlichen Constraints. Es unterstützt Apache-ANT-Scripting und Ausführung von der Kommandozeile, bietet einen Informations-Wizard zum Automatisieren wiederauftretender Gebrauchsmuster und erzeugt detaillierte Berichte.
Workflow
Mit der aiT-Kopplung können Sie:
- Ihr System in der Eclipse-Umgebung bauen
- die funktionale and architektonische Struktur in RT-Druid beschreiben
- WCET-Analysen auf der Code-Ebene direkt aus der RT-Druid-GUI heraus starten
- optional auch den Stackverbrauch auf der Code-Ebene berechnen lassen
- die sicheren Analyseergebnisse vollautomatisch in RT-Druid importieren lassen
- die Scheduling-Analyse starten, um Deadlines zu verifizieren
- optional den Stackverbrauch auch auf der System-Ebene überprüfen
Die Kopplung wurde von Evidence und AbsInt gemeinsam im Rahmen des INTEREST-Projektes entwickelt.
