Einfach zu integrierende Stackanalyse

Statische Analysen von SCADE-erzeugtem Code

StackAnalyzer ist 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 Stack- und Timinganalysen auf Modellebene ermöglicht.

Innerhalb der SCADE-Suite ist StackAnalyzer unter dem Namen „Stack Verifier“ zu finden.

Automatisierter Datenfluß

Chart depicting the automated flow between SCADE and StackAnalyzer

Der automatisierte Austausch zwischen SCADE und StackAnalyzer ermöglicht eine nahtlose Integration von statischen Stack­verbrauchs­analysen in Ihren Entwicklungsprozeß.

Berichterzeugung

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

Unterstützte Prozessoren

Die SCADE-Kopplung ist zurzeit für PowerPC erhältlich. Wenn Sie an Unterstützung für andere Prozessorfamilien interessiert sind, lassen Sie es uns wissen unter info@absint.com.