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.“
Interessiert an Simulink Code Inspector?
Haben Sie Fragen?
Wenden Sie sich an das technische Team für Simulink Code Inspector.
Nächste Schritte
Navigation im Panel
DO-178C-Workflow
Sehen Sie sich einen DO-178C-Workflow mit qualifizierter Codegenerierung an.
Navigation im Panel
DO-178-Fallstudie
Erfahren Sie mehr über den Einsatz von MathWorks bei einem DO-178-Projekt.
Navigation im Panel
Consulting Service zur DO-178 Zertifizierung
Arbeiten Sie mit MathWorks Consulting zusammen, um Ihren bestehenden Softwareentwicklungsprozess zu migrieren.
