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.“
Simulink Code Inspector – Häufig gestellte Fragen
Der Simulink Code Inspector vergleicht automatisch den generierten Code mit dem zugehörigen Modell, um Code-Review-Anforderungen in DO-178 zu erfüllen, indem Blöcke, Zustandsdiagramme, Parameter und Einstellungen auf funktionale Gleichwertigkeit untersucht werden. Er bietet eine ausführliche Model-to-Code- und Code-to-Model-Traceability-Analyse.
Er untersucht systematisch Blöcke, Zustandsdiagramme, Parameter und Einstellungen im Modell, um festzustellen, ob sie funktional äquivalent zu Operationen, Operatoren und Daten im erzeugten Code sind. Der Code-Inspektionsprozess erstellt eine speicherinterne Darstellung des Modells, die unabhängig vom Codegenerierungsprozess ist.
Er erstellt Berichte zur funktionalen Gleichwertigkeit und zur Traceability, einschließlich detaillierter Traceability-Analysen von Modell zu Code und von Code zu Modell, die bei Zertifizierungsstellen eingereicht werden können.
Sie können Modellkompatibilitätsprüfungen mit dem Model Advisor oder der Simulink Code Inspector-App durchführen. Diese Prüfungen können auch zur Bearbeitungszeit aktiviert werden, um Inkompatibilitätsprobleme zu erkennen, während Sie an Ihrem Entwurf arbeiten.
Es unterstützt DO-178C; Unterstützung ist über das DO Qualification Kit verfügbar.
Ja. Sie erzeugen Code aus Ihren Modellen mit Embedded Coder, bevor Sie ihn mit Simulink Code Inspector inspizieren.
Interessiert an 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.
