Simulink Code Inspector
Automatisierung und Verwaltung von Quellcode-Reviews zur Erfüllung von Sicherheitsstandards
Simulink Code Inspector vergleicht generierten Code automatisch mit seinem Quellmodell, um Ziele von Code-Reviews nach DO-178 und anderen High-Integrity-Standards zu erfüllen. Dabei werden systematisch Blöcke, Zustandsdiagramme, Parameter und Einstellungen in einem Modell untersucht, um zu ermitteln, ob sie funktional den Operationen, Operatoren und Daten im generierten Code entsprechen.
Der Simulink Code Inspector gestattet detaillierte Rückverfolgbarkeits-Analysen vom Modell zum Code und umgekehrt. Er generiert Berichte zur funktionalen Äquivalenz und Rückverfolgbarkeit, die Sie an Zertifizierungsbehörden senden können, um die Verifikationsziele für die Softwareprogrammierung nach DO-178 zu erfüllen. Die Ergebnisse der Code-Inspection werden im Modell und dem mit ihm verbundenen Code angezeigt.
Unterstützung für Industriestandards wird durch das DO Qualification Kit (für DO-178) bereitgestellt.
Vorbereitung von Modellen auf Codegenerierung und -Inspection
Mit Modellkompatibilitäts-Prüfungen bereiten Sie Ihre Modelle auf die Verwendung im Simulink Code Inspector vor. Die Ergebnisse werden direkt in der Simulink Code Inspector-App angezeigt, wo Sie auch Fehlerkorrekturen vornehmen können.
Codegenerierung aus Modellen
Mit Embedded Coder™ generieren Sie Code direkt aus Ihren Modellen.
Inspektion von Code und Kontrolle der Inspektionsergebnisse
Überprüfen Sie den generierten Code auf Übereinstimmung mit dem Modell.
Erzeugung von Berichten und Traceability-Matrizen
Code-Inspektions- und Traceability-Berichte generieren Sie direkt aus der App.
Produktressourcen:
„Durch Model-Based Design war unser Erstflug ein Erfolg; weder hinsichtlich der Steuerung noch der Integration gab es irgendwelche Probleme. Die Steuerungs-Algorithmen mit Embedded Coder aus unserem Simulink-Modell zu erzeugen hat die typischen Zeitverzüge durch das manuelle Schreiben von Programmcode beseitigt und dem Team die Freiheit verschafft, sich der Erfüllung der allgemeineren Projektziele zu widmen.“
Mike Bothwell, Bell Helicopter
