Einfach zu integrierende Stackanalyse

Kombinierte Schedulability- und Code-Level-Analysen

Evidence-Logo

StackAnalyzer 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.

Dank der Kopplung mit StackAnalyzer können Sie:

  1. Ihr System in der Eclipse-Umgebung bauen
  2. die funktionale and architektonische Struktur in RT-Druid beschreiben
  3. Stackverbrauchsanalysen auf der Code-Ebene direkt aus der RT-Druid-GUI heraus starten
  4. optional auch die Worst-Case-Ausführungszeit mit aiT berechnen lassen
  5. die sicheren Analyseergebnisse vollautomatisch in RT-Druid importieren lassen und die Scheduling-Analyse starten
  6. abschließend den Stackverbrauch auch auf der System-Ebene überprüfen

Die Kopplung wurde von Evidence und AbsInt gemeinsam im Rahmen des INTEREST-Projektes entwickelt.