Frühzeitige Verifikation und Validierung mit Model-Based Design

Rückverfolgbarkeit zwischen Anforderungen und Entwurf

Wir zeigen Ihnen, wie Sie die Rückverfolgbarkeit Ihrer Anforderungen während der gesamten Entwicklung und bis zur finalen Anwendung gewährleisten können. MathWorks Consulting vermittelt, wie die Requirements Toolbox optimal eingesetzt werden kann, um bidirektionale Verknüpfungen zwischen Modellen, Tests, Code und Anforderungsdokumenten zu erstellen, Testfälle zu generieren und einzusetzen sowie die erforderlichen Berichte zu erstellen. Wir integrieren Ihr Anforderungsmanagementsystem und bauen eine Architektur auf, die die Wartbarkeit gewährleistet und manuelle Interventionen minimiert.

Einhaltung von Modellierungs- und Codierungsstandards

Unsere MathWorks Consultants zeigen Ihnen, wie Sie die Einhaltung von Modellierungs- und Codierungsstandards überprüfen können – gleich, ob sie für Ihre Branche, Ihre Anwendung, Ihr Unternehmen oder Ihre Sicherheitsstandards gelten. Wir implementieren individuelle Modellierungsprüfungen in Simulink Check, um Ihre Modelle zu analysieren und zu validieren. Wir unterstützen Sie bei der Anpassung des Polyspace Bug Finder, um die Übereinstimmung von generiertem und selbst geschriebenem Code mit den Codierungsstandards zu überprüfen.

Simulationsbasiertes Testen und Berichterstellung

Wir zeigen auf, wie Äquivalenztests für Model-in-the-Loop (MIL), Software-in-the-Loop (SIL) und Processor-in-the-Loop (PIL) durchgeführt werden können, um die Übereinstimmung von Softwareverhalten und Modellverhalten zu bestätigen. Ebenso gehen wir auf die Anwendung der Abdeckungsanalyse mit Simulink Coverage auf Modell- und Code-Ebene ein, um die Qualität bestehender Testfälle zu bewerten, und erklären, wie Sie mit dem Simulink Design Verifier Testabläufe generieren können, um so die Zuverlässigkeit Ihrer Entwicklung zu erhöhen. Sie erfahren zudem, wie Sie Simulink Test am geschicktesten einsetzen, um Tests flexibel auszuführen und zu protokollieren oder um umfangreiche automatisierte Tests zu implementieren und mit Drittanbieter-Tools zu verbinden.

Verifikation anhand formaler Methoden

Mit Unterstützung von MathWorks Consulting können Sie den Nachweis erbringen, dass Ihr Entwurf mit der finalen Anwendung übereinstimmt. Dabei wird gezeigt, wie der Simulink Code Inspector den generierten Code untersuchen kann und wie der Simulink Design Verifier mögliche Fehler wie Dead Logic, Integer-Überläufe, Divisionen durch null usw. erkennen kann. Wir vermitteln Ihnen, wie der Polyspace Code Prover die Richtigkeit des Codes nachweisen kann, indem er das Nichtvorhandensein von Überläufen, Divisionen durch null und bestimmten anderen Laufzeitfehlern beweist.

MathWorks Consulting Services verfügt nachweislich über folgende Fähigkeiten:

• Einführung eines frühzeitigen und kontinuierlichen Workflows zur Verifikation und Validierung mithilfe von Model-Based Design
• Sicherstellung der Rückverfolgbarkeit und Qualität während des gesamten Entwicklungsprozesses
• Einführung von Verfahren zur frühzeitigen Erkennung und Behebung von Entwicklungsfehlern
• Überprüfung der endgültigen Anwendung auf ihre Konformität mit den jeweiligen Anforderungen