Simulink Design Verifier ermittelt mit formalen Methoden versteckte Entwurfsfehler in Modellen. Das Tool erkennt Blöcke im Modell, die zu Ganzzahlüberläufen, toter Logik, Array-Zugriffsverletzungen und Divisionen durch Null führen Mit dem Tool lässt sich formal verifizieren, dass ein Entwurf die funktionalen Anforderungen erfüllt. Bei jedem Entwurfsfehler bzw. Verstoß gegen Anforderungen wird vom Tool ein Simulationstestfall zur Fehlerbehebung generiert.
Simulink Design Verifier generiert Testfälle für die Modellabdeckung und vom Anwender definierte Ziele, die vorhandene anforderungsbasierte Testfälle erweitern. Diese Testfälle führen Ihre Modelle zur Erfüllung von Zielen zur Bedingungs-, Entscheidungs- und modifizierten Bedingungs-/Entscheidungsabdeckung (Modified Condition/Decision Coverage) sowie zur Erfüllung anwenderdefinierter Abdeckungsziele. Zusätzlich zu Abdeckungszielen können Sie individuelle Testziele festlegen und daraus automatisch anforderungsbasierte Testfälle generieren.
Zur Unterstützung von Industriestandards sind das IEC Certification Kit (für ISO 26262 und IEC 61508) und das DO Qualification Kit (für DO-178 und DO-254) erhältlich.
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.
Produktressourcen:
„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
Kostenlose Testversion anfordern
30 Tage kostenlos ausprobieren.
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.