Simulink Design Verifier

Anforderungen validieren

Prüfen Sie vor dem Beginn Ihres Entwurfs die Konsistenz und Vollständigkeit der modellierten Anforderungen.

Erkennung von Laufzeit- und Diagnosefehlern

Vor der Ausführung von Simulationen können Sie Laufzeit- und Modellierungsfehler wie Ganzzahlüberläufe, Divisionen durch Null, Array-Zugriffsverletzungen, subnormale Werte und Gleitkommafehler sowie Datengültigkeitsfehler erkennen.

Erkennung von toter Logik

Finden Sie Objekte in Ihrem Modell, die bei einer Simulation oder Ausführung des generierten Codes nicht aktiviert werden können.

Analyse fehlender Testabdeckung

Ergänzen und erweitern Sie bestehende, manuell erstellte Testfälle, um eine unvollständige Modellabdeckung sowie Abdeckung von generiertem Code und C/C++ Code aus Simulink-Blöcken und Stateflow-Diagrammen zu beheben.

Verifikation formaler Sicherheitsanforderungen

Vergewissern Sie sich, dass das Verhalten Ihres Entwurfs den formal definierten Sicherheitsanforderungen (3:53) entspricht, die Sie mithilfe von MATLAB, Simulink und Stateflow ausdrücken.

Aufbau anforderungsbasierter Testfälle

Generieren Sie Testfälle aus Modellen von Systemanforderungen.

„Weil wir Anforderungen schnell analysieren, Entwürfe vorheriger Produkte wiederverwenden und manuelle Programmierfehler ausschalten konnten, hat Model-Based Design die Entwicklungsdauer verkürzt und uns straffere Zeitpläne ermöglicht, durch wir die Bedürfnisse unserer Kunden erfüllen können.“

MyoungSuk Ko, LS Automotive