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 und DO-178C 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 Optimizer“ zu finden.
Automatisierter Datenfluß
Der automatisierte Austausch zwischen SCADE und den Analysatoren ermöglicht eine nahtlose Integration statischer 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.
