Integration von aiT in Ihre Entwicklungsumgebung

Statische Analysen von SCADE-erzeugtem Code

aiT und StackAnalyzer sind auch als ein fester Bestandteil der SCADE-Suite erhältlich, der weitverbreiteten Entwicklungsumgebung für sicherheitskritische eingebettete Software.

SCADE ist die einzige modellbasierte Entwicklungsumgebung, die nach DO-178B qualifiziert und nach IEC 61508 und EN 50128 zertifiziert ist, und die weltweit erste, die dank integrierter AbsInt-Tools Timing- und Stackanalysen auf Modellebene ermöglicht.

Innerhalb der SCADE-Suite sind die Tools unter dem Namen Timing and Stack Verifiers zu finden.

Automatisierter Datenfluß

Chart depicting the automated flow between SCADE and aiT

Der automatisierte Austausch zwischen SCADE und den Analysatoren ermöglicht eine nahtlose Integration statischer Analysen in Ihren Entwicklungsprozeß.

Berichterzeugung

Sample SCADE report Sample SCADE report

Mit SCADE können Sie detaillierte Berichte erstellen und die Auswirkungen einer jeden Programm­änderung mithilfe von „diff“-Features sofort nachvollziehen.

Unterstützte Prozessoren

  • Für die WCET-Analyse: MPC55xx, MPC555, MPC565, MPC603e, MPC755s
  • Für die Stackanalyse: alle PowerPCs