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.
Überprüfung der Einhaltung von Industriestandards
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, und ISO/IEC TS 17961.
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.
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.
Messen der Modellqualität mit Metriken
Stellen Sie Modellmetriken zusammen, um die Architektur, Komplexität und Lesbarkeit Ihres Modells gemäß ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, IEC 62304, EN 50128 und anderen Standards bewerten können. So haben Sie die Möglichkeit, Metriken wie beispielsweise Modellgröße, Anzahl der Codezeilen, Status der Richtlinieneinhaltung, Wiederverwendung und Komplexität in einer einzigen Ansicht zu integrieren.
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.
Produktressourcen:
„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
Kostenlose Testversion anfordern
30 Tage kostenlos ausprobieren.
Bereit zum Kauf?
Angebot anfordern und Erweiterungsprodukte entdecken.
Studieren Sie?
Your school may already provide access to MATLAB, Simulink, and add-on products through a campus-wide license.