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.


Produktkategorien

Verwenden von Simulink Verification and Validation

Verknüpfen Sie externe Dokumente und Simulink-Blöcke mittels Links.

Weitere Informationen

Nachverfolgen der Anforderungen für Modelle, Tests und erstellten Code

Verlinken Sie Simulink- und Stateflow-Objekte mit Text in Anforderungsdokumenten.

Weitere Informationen

Einhalten von Modellierungsstandards

Nutzen Sie den Model Advisor zur Ausführung einzelner Checks oder ganzer Gruppen von Checks.

Weitere Informationen

Komponententest

Analysieren und simulieren Sie eines oder mehrere referenzierte Modelle, Subsysteme oder Atomic Subcharts mithilfe einer API.

Weitere Informationen

Analysieren der Modellabdeckung

Erzeugen Sie Berichte zur Modellabdeckung, um ungetestete Elemente von Designs aufzudecken.

Weitere Informationen

Produktressourcen

Erfahren Sie mehr über Simulink Verification and Validation, indem Sie die folgenden Materialien studieren.

Dokumentation

In der Dokumentation lernen Sie Simulink Verification and Validation-Funktionen und -Features kennen. Sie finden dort auch Versionshinweise und Beispiele.

Funktionen

Durchsuchen Sie die Liste der verfügbaren Simulink Verification and Validation-Funktionen.

System-Voraussetzungen

Systemanforderungen für die aktuelle Simulink Verification and Validation-Version.

Technische Artikel

Lesen Sie Artikel über die technischen Vorteile bei Einsatz von Simulink Verification and Validation.

Anwenderberichte

Lesen Sie, wie Simulink Verification and Validation die Forschung und Entwicklung in Ihrer Branche beschleunigt.

Community und Unterstützung

Finden Sie Antworten auf Fragen und durchsuchen Sie Ressourcen zur Fehlerbehebung.


Testen oder Kaufen

Es gibt viele verschiedene Wege, den Einstieg in Simulink Verification and Validation zu finden. Laden Sie eine kostenlose Testversion herunter, or wählen Sie Bezahl- und Lizenzoptionen.

Kostenlose Testversion anfordern

Testen Sie Simulink Verification and Validation.

Testversion anfordern

Bereit zum Kauf?

Erwerben Sie Simulink Verification and Validation, und testen Sie die Add-Ons.

Vertrieb kontaktieren
Preise und Lizenzierung

Haben Sie Fragen?

Paul

Wenden Sie sich an Paul Urban,
technischer Experte für Simulink Verification and Validation

E-Mail an Paul senden

Simulink Verification and Validation requires MATLAB, and Simulink.


Verwandte Lösungen

Verwenden Sie Simulink Verification and Validation, um wissenschaftliche und technische Herausforderungen zu lösen:


News und Events

Lernen Sie die Perspektive eines MathWorks-Entwicklers auf Simulink und Model-Based Design kennen.

Improve Design Efficiency Using Modeling Standards Checking