Simulink Check

Individuell erstellbare Modell-Checks

Um sicherzustellen, dass die Modelle mit den Standards und Richtlinien Ihres Unternehmens übereinstimmen, können Sie eigene „Model Advisor“-Checks konfigurieren, individuell erstellen und automatisieren.

Fehlerentdeckung und -behebung beim Erstellen

Nutzen Sie die Überprüfung während der Bearbeitung, um mögliche Fehler schon im Vorfeld zu erkennen und zu beheben, um so spätere Korrekturen zu vermeiden. Erstellen Sie eigene Checks zur Bearbeitungszeit für Simulink, System Composer oder Stateflow, um unternehmensspezifische Standards zu erfüllen.

CI/CD-Automatisierung beim Model-Based Design

Vereinfachen Sie die Einführung und optimieren Sie CI/CD-Abläufe für Simulink mit dem CI/CD Automation for Simulink Check Support Package. Sie können eine CI/CD-Pipeline definieren, diese am Desktop zur Verhinderung von Build-Ausfällen vorqualifizieren, in CI-Systeme wie Jenkins® oder GitLab® integrieren und zur Zeitersparnis inkrementelle Builds ausführen.

Verfolgung anforderungsbasierter Tests

Überwachen Sie den Status und die Qualität von Unit-Test-Artefakten, um die Vollständigkeit Ihrer anforderungsbasierten Tests zu bewerten und die Normen ISO 26262 und DO-178C zu erfüllen. Bewerten Sie Status und Qualität Ihrer Codetests für Software-in-the-Loop (SIL-) und Processor-in-the-Loop (PIL-)Tests mithilfe der Metrik-Ergebnisse im SIL Code Testing Dashboard und PIL Code Testing Dashboard.

Messen von Qualität, Komplexität und Wartbarkeit

Bewerten Sie Größe, Architektur und Komplexität Ihres Modells mit Metriken, um Lesbarkeit, Wartbarkeit und Wiederverwendbarkeit Ihrer MATLAB, Simulink und Stateflow Artefakte im Projekt zu verbessern. Die Dashboards konsolidieren die Metriken, damit Sie Ihren Fortschritt bezüglich Standardkonformität zu ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 u.v.m. verfolgen können.

Automatisierung von Modellprüfungen und Berichten

Generieren Sie Model-Advisor-Berichte für Überprüfungen. Begründen Sie mögliche Abweichungen, um Warnungen und Fehler zu unterbinden. Starten Sie Checks auf mehreren Systemen parallel, um die Konformitätsprüfung mit der Parallel Computing Toolbox zu beschleunigen.

Vereinfachen und Debuggen komplexer Modelle

Verwenden Sie den Model Slicer, um funktionale Abhängigkeiten durch eine Kombination aus statischer und dynamischer Analyse anhand des aktiven Verhaltens während der Simulation zu kennzeichnen. So debuggen Sie Fehler wie Baseline-Test- oder Äquivalenztest-Fehler, Gegenbeispiele zum Eigenschaftsbeweis oder Ganzzahlüberläufe.

Identifizieren und Refaktorieren von Modellierungsklonen in Modellen

Analysieren Sie Modelle, um Klone und doppelte Modellierungsmuster zu ermitteln. Durch automatisches Refaktorieren wird die Wartungsfreundlichkeit verbessert, die Wiederverwendung erhöht und die Komplexität des Entwurfs reduziert. Erkennen Sie ineffiziente Muster und überarbeiten Sie diese, um die Effizienz des Codes zu erhöhen.

„Wir nutzen unser Systemdesign-Modell in Simulink für ARP4754, um stabile, objektive Anforderungen zu etablieren. Indem wir das Modell als Grundlage für unser Softwaredesign für DO-178 – von dem wir Flight Code generieren – verwenden und Validierungstests für die Softwareverifizierung wiederverwenden, sparen wir sehr viel Zeit.“

Ronald Blanrue, Airbus Helicopters