Veranstaltungen - Seminare

Bei der Entwicklung von Embedded Systemen wird bereits vielfach Simulink® zur Simulation des Systemverhaltens eingesetzt. Simulink erlaubt durch die intuitive grafische Bedienoberfläche die schnelle und übersichtliche Modellierung des Systems. Da mit der Modellierung bereits eine detaillierte mathematische Beschreibung des Systems vorliegt, ist der Weg zum automatisch erzeugten Code der nächste logische Schritt.

Mit diesem Seminar erhalten Sie einen Überblick über die automatische Codegenerierung, Verifikation, Validierung und Test auf der Basis von Simulink-Modellen. Es wird geschildert, wie eine Prozessverbesserung mit Hilfe einer Reihe von Methoden und Werkzeugen erreicht werden kann. Das Methodenspektrum reicht von automatischer Überprüfung von Modellierungsrichtlinien und Verwendung bidirektionaler Links von Anforderungen und Modell über die Durchführung von Tests, der Messung der erzielten Testabdeckung bis hin zum Einsatz formaler Methoden zur unterstützenden Testgenerierung und dem Korrektheitsbeweis eines Modells.
Desweiteren zeigen wir Ihnen die Vorteile der Nutzung formaler Methoden auf Code-Ebene. Der Anwendungsbereich erstreckt sich über die Prüfung von Programmierregeln nach MISRA-C und JSF++, bis hin zum Nachweis von nicht ausführbarem Code und der Fehlerfreiheit von Programmen in Bezug auf Laufzeitfehler (z.B. Überläufe, Division durch 0, NULL-Zeiger Zugriff, etc).