Simulink Check
Messen der Entwurfsqualität, Verfolgen von Verifizierungsaktivitäten und Überprüfen der Einhaltung von Standards
Haben Sie noch 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, EN 50716 und MathWorks Advisory Board (MAB)-Stilrichtlinien. Simulink Check unterstützt ebenfalls sichere Coding-Standards 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 und Dashboards zur Beurteilung des Status und der Qualität Ihres Entwurfs. 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.
Einhaltung der Modellierungsstandards
KI-Agenten mit Simulink Check verbinden
Integrieren Sie domänenspezifische Funktionen in Ihren Agentic-AI-Workflow.
Ü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, and ISO/IEC TS 17961.
Fehlerentdeckung und -behebung beim Erstellen
Nutzen Sie das Model Guidance Dashboard, um Fehler zu erkennen und diese direkt zu beheben, um spätere Nacharbeiten zu vermeiden. Erstellen Sie benutzerdefinierte Prüfungen zur Bearbeitungszeit für Simulink, System Composer oder Stateflow, um die Standards Ihrer Organisation zu erfüllen.
Individuell erstellbare Modell-Checks
Um sicherzustellen, dass Modelle den Standards und Richtlinien Ihrer Organisation entsprechen, können Sie eigene Model Advisor-Checks erstellen, konfigurieren und automatisieren.
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.
Ausführen von Prüfungen mit KI-Agenten
Mit dem Simulink Agentic Toolkit und Simulink Check können Sie KI-Agenten zur Erstellung von Prüfungen, zur Überprüfung der Konformität, zur Erkennung von Problemen und zur Erstellung von Vorschlägen zur Fehlerbehebung einsetzen. Sie können außerdem Fehlerbehebungen automatisieren und das Modell erneut überprüfen, während Sie die Aktionen des Agenten überwachen.
Messen von Qualität, Komplexität und Wartbarkeit
Bewerten Sie Größe, Architektur und Komplexität Ihres Modells mit Metriken, um die Lesbarkeit, Wartbarkeit und Wiederverwendbarkeit Ihrer projektspezifischen MATLAB-, Simulink- und Stateflow-Artefakte zu verbessern. Dashboards konsolidieren die Metriken und unterstützen Sie bei der Überwachung Ihres Fortschritts bei der Einhaltung von ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 und anderen Standards.
CI/CD-Automatisierung beim Model-Based Design
Vereinfachen Sie die Einführung und optimieren Sie Continuous Integration/Continuous Delivery-Workflows mit dem CI/CD Automation for Simulink Check Support Package. Definieren Sie Ihre CI/CD-Pipeline, qualifizieren Sie Ihre Änderungen vorab an Ihrem Desktop, um Build-Ausfälle zu verhindern, integrieren Sie CI-Systeme wie Jenkins® oder GitLab® und verkürzen Sie Build-Zeit durch inkrementelle Builds.
Vereinfachen und Debuggen komplexer Modelle
Verwenden Sie den Model Slicer zur Hervorhebung funktionaler Abhängigkeiten durch eine Kombination aus statischer und dynamischer Analyse anhand des aktiven Verhaltens während der Simulation. So debuggen Sie Fehler wie Baseline-Test- oder Äquivalenztest-Fehler, Gegenbeispiele zum Eigenschaftsbeweis oder Ganzzahlüberläufe.
Identifizieren und Refaktorieren von Modellierungsklonen
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 generierten 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.“
Häufig gestellte Fragen zu Simulink Check
Simulink Check ist ein Add-on zu Simulink, das Ingenieuren hilft, die Qualität ihrer Simulink-Modelle zu verbessern, indem es potenzielle Probleme automatisch erkennt und die Einhaltung von Modellierungsrichtlinien oder Industriestandards verifiziert. Es stellt Tools zur Durchführung von Prüfungen, zur Überprüfung von Ergebnissen und zum Tracking von Qualitätsmetriken bereit.
Simulink Check unterstützt High-Integrity-Standards wie ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128 und MathWorks Advisory Board (MAB)-Richtlinien sowie sichere Coding-Standards wie CERT C, CWE und ISO/IEC TS 17961.
Ja, Sie können benutzerdefinierte Model Advisor-Checks konfigurieren, anpassen und automatisieren, um sicherzustellen, dass Modelle den Standards und Richtlinien Ihrer Organisation entsprechen. Konformitätsprobleme lassen sich direkt im Editor identifizieren.
Das Model Testing Dashboard konsolidiert Daten aus anforderungsbasierten Testaktivitäten zur Überwachung des Status und der Qualität von Unit-Test-Artefakten und zur Bewertung der Vollständigkeit Ihrer anforderungsbasierten Tests und der Einhaltung der Normen ISO 26262 und DO-178C.
Die Überprüfung während der Bearbeitung erkennt Fehler und behebt sie direkt bei ihrem Auftreten im Simulink Canvas, um spätere Nacharbeit zu vermeiden. So können Sie benutzerdefinierte Checks für Simulink, System Composer oder Stateflow erstellen, die den Standards Ihrer Organisation entsprechen.
Model Slicer hebt funktionale Abhängigkeiten hervor, um problematisches Verhalten in Modellen zu isolieren, und generiert vereinfachte Modelle zur Behebung von Fehlern wie Baseline-Testfehlern, Äquivalenztestfehlern oder Integer-Überläufen.
Ja, Simulink Check analysiert Modelle, um Klone und doppelte Modellierungsmuster zu finden, und refaktorisiert sie anschließend automatisch, um die Wartbarkeit zu verbessern, die Wiederverwendbarkeit zu erhöhen und die Komplexität des Entwurfs zu verringern.
Ja, das CI/CD Automation for Simulink Check Support Package vereinfacht die Einführung von Continuous-Integration-/Continuous-Delivery-Workflows. Damit können Sie Pipelines definieren, Vorabprüfungen auf dem Desktop durchführen, eine Integration mit Systemen wie Jenkins oder GitLab vornehmen und inkrementelle Builds ausführen.
Simulink Check stellt Metriken zu Größe, Architektur und Komplexität von MATLAB-, Simulink- und Stateflow-Artefakten bereit. Dies trägt zur Verbesserung der Lesbarkeit, Wartbarkeit und Wiederverwendbarkeit bei und ermöglicht gleichzeitig die Überwachung der Fortschritte bei der Einhaltung von Standards.
Ja, bei gemeinsamer Verwendung mit der Parallel Computing Toolbox können Sie Checks auf mehreren Kernen oder Clustern parallel ausführen. Hierdurch lässt sich die Verarbeitungszeit verkürzen und die Verifikation der Konformität beschleunigen.
Simulink Check kostenlos ausprobieren
Entdecken Sie noch heute die Möglichkeiten.
Bereit zum Kauf?
Angebot anfordern und Erweiterungsprodukte entdecken.
Studieren Sie?
Ihre Hochschule bietet möglicherweise bereits Zugang zu MATLAB, Simulink und Add-on-Produkten über eine Campus-Wide License.
