Inspektionssoftware Simulink Code Inspector™

Simulink Code Inspector™ vergleicht automatisch erzeugten Code mit seinem Quellmodell, um Codebericht Zielsetzungen in DO-178 und in anderen high-integrity Standards zufriedenzustellen. Der Codeprüfer überprüft systematisch Blöcke, Zustandsdiagramme, Parameter und Einstellungen in einem Modell, um festzustellen, ob sie strukturell Äquivalent zu den Betrieben, Operatoren und Daten im erzeugten Code sind. Simulink Code-Prüfer stellt ausführliche Modell-zucode und Code-zumodell Nachweisbarkeitanalyse zur Verfügung. Sie erzeugt strukturelle Gleichwertigkeit und Nachweisbarkeit berichtet, dass Sie bei den Bescheinigungbehörden einreichen können, um DO-178 zufriedenzustellen, das Überprüfungszielsetzungen Software-kodiert.