Simulink Verification and Validation

Verifizieren von Modellen und generiertem Code

Durch Simulink Verification and Validation™ werden Anforderungsnachverfolgung, Überprüfung der Einhaltung der Modellierstandards und Modellabdeckungsanalysen automatisiert.

Sie haben die Möglichkeit, detaillierte Berichte zur Anforderungsnachverfolgung zu erstellen, Ihre eigenen Modellierrichtlinien zu verfassen und sie in Check-Mengen zu gruppieren, die von mehreren Entwicklungsteams gemeinsam verwendet werden können. Die Anforderungsdokumentation kann mit Modellen, Testfällen und dem erstellten Code verknüpft werden. Sie können Harness-Modelle für das Testen von Modellkomponenten und Modellcode erstellen sowie die Modellabdeckungsanalyse verwenden um sicherzustellen, dass die Modelle gründlich getestet wurden.

Simulink Verification and Validation stellt Modellierrichtlinien für DO-178, ISO 26262, IEC 61508 und zugehörige Industriestandards bereit. Zusätzliche Hilfe ist durch das DO Qualification Kit und das IEC Certification Kit verfügbar.

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

Webinar anzeigen

Probieren Sie Simulink Verification and Validation

Testsoftware anfordern