Simulink Check
Messen der Entwurfsqualität, Verfolgen von Verifizierungsaktivitäten und Überprüfen der Einhaltung von Standards
Haben Sie Fragen? Vertrieb kontaktieren.
Haben Sie Fragen? Vertrieb kontaktieren.
Simulink Check analysiert Ihre Modelle, Anforderungen und Tests zur Bewertung der Entwurfsqualität und der Einhaltung von Standards. Es bietet branchenweit anerkannte Überprüfungen und Metriken, mit denen die Nichteinhaltung von Modellierungsstandards und Richtlinien noch während der Entwicklung erkannt werden. Zu den unterstützten High-Integrity-Softwareentwicklungsstandards gehören ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 und MathWorks Advisory Board (MAB)-Stilrichtlinien. Simulink Check unterstützt ebenfalls sichere Codierungsstandards wie CERT C, CWE und ISO/IEC TS 17961. Sie können individuelle Checks erstellen, die mögliche Konformitätsprobleme direkt im Editor identifizieren, um Ihre eigenen Standards oder Richtlinien zu erfüllen.
Simulink Check bietet Metriken wie Größe und Komplexität zur Beurteilung des Status und der Qualität Ihres Entwurfs. Das Model Testing Dashboard konsolidiert Daten aus Ihren anforderungsbasierten Testaktivitäten, um den Teststatus zu verfolgen. Mit der automatischen Modellrefaktorisierung können Sie Modellklone ersetzen, die Komplexität des Designs reduzieren und wiederverwendbare Inhalte identifizieren. Das Werkzeug „Model Slicer“ isoliert problematisches Verhalten in Modellen und generiert vereinfachte Modelle für das Debugging.
Unterstützung von Industriestandards wird mit dem IEC Certification Kit (für ISO 26262 und IEC 61508) und dem DO Qualification Kit (für DO-178) gewährleistet.
Nutzen Sie vorkonfigurierte Prüfungen für Industriestandards wie ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128, MISRA C:2012, Richtlinien des MathWorks Advisory Board (MAB), JMAAB, CERT C, CWE, et ISO/IEC TS 17961.
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.
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.
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.
Ü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.
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.
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.
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.
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
30 Tage kostenlos ausprobieren.
Angebot anfordern und Erweiterungsprodukte entdecken.
Ihre Hochschule bietet möglicherweise bereits Zugang zu MATLAB, Simulink und Add-on-Produkten über eine Campus-Wide License.