Simulink Verification and Validation

Überprüfen der Konformität mit den Modellierungsstandards

Simulink Verification and Validation bietet Checks an für:

  • MathWorks Automotive Advisory Board
  • DO-178B
  • IEC 61508 (ISO 26262)
  • Anforderungskonsistenz

Mittels Model Advisor können Sie einzelne oder auch Gruppen-Checks ausführen. Jeder Check enthält detaillierte Dokumentation und Empfehlungen darüber, wie die Inkonsistenzen am besten gelöst werden können. Bei einigen Prüfungen bestehen auch zusätzliche Konfigurationsmöglichkeiten.

Mittels Model Advisor Configuration Editor können Sie die mitgelieferten Checks ändern, wodurch Sie dann in der Lage sind:

  • Kombinationen von Checks auszuwählen
  • Eine Auswahl an Checks als neue Konfiguration zu speichern
  • Checks aus einer vorhandenen Konfiguration zu importieren und anzuwenden
  • der Konfiguration benutzerdefinierte Checks hinzuzufügen
  • eine Konfiguration zu exportieren und zu verteilen
Violation in highlighted model block found through modeling standards checks in Model Advisor.
Verletzung eines Modellierungsstandards im markierten Modellblock, die mithilfe von Model Advisor festgestellt wurde.

Mittels Model Advisor Configuration Editor können Sie die mitgelieferten Checks ändern, wodurch Sie dann in der Lage sind:

  • Kombinationen von Checks auszuwählen
  • Eine Auswahl an Checks als neue Konfiguration zu speichern
  • Checks aus einer vorhandenen Konfiguration zu importieren und anzuwenden
  • der Konfiguration benutzerdefinierte Checks hinzuzufügen
  • eine Konfiguration zu exportieren und zu verteilen

Die Skript-API ermöglicht Ihnen das Erstellen von benutzerdefinierten Checks. Beispiele von benutzerdefinierten Checks sind in der Produktdokumentation zu finden.

Um die Konformitätsprüfung zu automatisieren, können Sie im Batchmodus Checks auf einem oder mit Parallel Computing Toolbox™ auch auf mehreren Rechnern parallel ausführen. Die Ergebnisse können im Model Advisor oder im HTML-Bericht angezeigt werden, der bei Abschluss der Analyse erstellt wird.

Bei Verwendung des Simulink DO Qualification Kit können Sie im Model Advisor die DO-178B-Checks zur Verwendung in DO-178B- oder DO-254-Projekten qualifizieren.

Weiter: Komponententest

Probieren Sie Simulink Verification and Validation

Testsoftware anfordern

Best Practices for DO-178 Compliant Software using Model-Based Design

Webinar anzeigen