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 und DO-178C 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ß
Der automatisierte Austausch zwischen SCADE und StackAnalyzer ermöglicht eine nahtlose Integration von statischen Stackverbrauchsanalysen 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 und TriCore AURIX erhältlich. Wenn Sie an einer möglichen Unterstützung für andere Prozessorfamilien interessiert sind, schreiben Sie an info@absint.com.
.jpg){kind=link}