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.

Was ist der Simulink Code Inspector?

App-Benutzeroberfläche mit nebeneinander angeordneten Ergebnissen von Modell- und Kompatibilitätsüberprüfung.

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.

Dokumentation | Beispiele

App-Benutzeroberfläche mit nebeneinander angeordnetem Modell und dem von ihm generierten Code.

Codegenerierung aus Modellen

Mit Embedded Coder™ generieren Sie Code direkt aus Ihren Modellen.

Dokumentation | Beispiele

App-Benutzeroberfläche mit Modell, daraus generiertem Code und Überprüfungsergebnissen.

Inspektion von Code und Kontrolle der Inspektionsergebnisse

Überprüfen Sie den generierten Code auf Übereinstimmung mit dem Modell.

Dokumentation | Beispiele

Ein Bericht des Simulink Code Inspector.

Erzeugung von Berichten und Traceability-Matrizen

Code-Inspektions- und Traceability-Berichte generieren Sie direkt aus der App.

Dokumentation | Beispiele

Produktressourcen:

Dokumentation Anforderungen Funktionen Schnellstart-Tutorial Unterstützt DO-178 Unterstützt ISO 26262 Release-Hinweise Technische Artikel Videos

„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

Weitere Berichte von Anwendern ansehen

Interessiert an Simulink Code Inspector?

Testversion anfordern Preisangebot anfordern

Haben Sie Fragen?

Wenden Sie sich an das technische Team für Simulink Code Inspector.

Nächste Schritte

DO-178C-Workflow

Sehen Sie sich einen DO-178C-Workflow mit qualifizierter Codegenerierung an.

DO-178-Fallstudie

Erfahren Sie mehr über den Einsatz von MathWorks bei einem DO-178-Projekt.

Consulting Service zur DO-178 Zertifizierung

Arbeiten Sie mit MathWorks Consulting zusammen, um Ihren bestehenden Softwareentwicklungsprozess zu migrieren.