Aufgezeichnetes Webinar:: Beweis der Fehlerfreiheit auf Quellcodeebene - PolySpace für Simulink Anwender

Bitte füllen Sie das Formular aus, um dieses und weitere aufgezeichnete Webinare anzuschauen.

Die Kosten für die Verifikation von Software steigen aufgrund der stetig zunehmenden Komplexität überproportional an. Dies gilt insbesondere für sicherheitskritische Systeme. Mit neuen ausgereiften Technologien lassen sich jedoch Programmeigenschaften sowohl auf Modell- als auch auf Quellcode-Ebene verifizieren, wodurch Fehler frühzeitig erkannt werden können. So ermöglichen PolySpace Tools von The MathWorks den sicheren Beweis der Fehlerfreiheit von Programmen auf Quellcode-Ebene und liefern Kriterien zur Messung der Softwarequalität, ohne dass konkrete Tests ausgeführt werden.

Dieses Webinar gibt Ihnen eine Einführung zu PolySpace Produkten für die formale Verifikation von Quellcode im Model-Based Design Umfeld. Mit der „Abstrakten Interpretation“ wird Code in Bezug auf semantische Laufzeitfehler verifiziert. Bei dem zu analysierenden Code kann es sich sowohl um automatisch generierten Code als auch um herkömmlich manuell geschriebenen Programmcode handeln. Gerade die Integration von bestehendem Quellcode in Simulink stellt eine Herausforderung für die Verifikation dar, welche mit PolySpace Werkzeugen effizient adressiert werden kann.

Wir zeigen Ihnen den Einsatz von von PolySpace für die Verifikation von Applikationen im Zusammenhang mit dem Model-Based Design Ansatz. Für den beim Model-Based Design automatisch erzeugten Code wird auch der Rückverweis vom Code ins Modell demonstriert.

Webinar aufgezeichnet am: 29 Mai 2008

Dauer: 46 Min