Aufgezeichnetes Webinar:: Formale Methoden für die Absicherung von Systemverhalten auf Modellebene mit Simulink Design Verifier
Bitte füllen Sie das Formular aus, um dieses und weitere aufgezeichnete Webinare anzuschauen.
Testen Sie Ihre Software bzw. Ihre Modelle? Gut - aber Model-Based Design bietet noch viel mehr Potential: Sicherstellen von Nachverfolgbarkeit, formaler Beweis des korrekten Verhaltens sowie Generierung von Testfällen.
Aufgrund von Fortschritten in der Technologie des automatischen Beweisens können Entwickler und Designer nun diese formalen Methoden – auch auf Modellebene – tatsächlich einsetzen. Damit lassen sich Fehler in Spezifikation, Design und Implementierung wesentlich früher aufdecken und die Korrektheit von Modellen sicher beweisen. Damit wird ein Modell-basierter Entwicklungsprozess noch attraktiver.
In diesem Webinar führen wir, basierend auf Simulink und Simulink Design Verifier, Technologien für den Beweis funktionaler Programmeigenschaften ein und zeigen, wie diese in einen konventionellen Entwicklungsprozess implementiert werden können.
Webinar aufgezeichnet am: 30 Jul 2008
Dauer: 54 Min