Aufgezeichnetes Webinar:: Laufzeitfehler adé! Verifikationsaufwand reduzieren und Zuverlässigkeit erhöhen mit PolySpace

In diesem Webinar erfahren Sie, wie PolySpace Ihnen hilft, die Zuverlässigkeit und andere Qualitätsmerkmale von Embedded Software durch formale Methoden auf Code-Ebene zu messen und zu erhöhen.

Neben der Prüfung von Programmierregeln nach MISRA-C bzw. JSF++, liefert PolySpace den Nachweis von Fehlern sowie der Korrektheit von Software in Bezug auf Laufzeitfehler, wie z.B. Overflows, Division durch 0 oder Array-Überläufen.
Weiterhin lassen sich die Robustheit Ihres Codes - und damit gegebenenfalls zugrunde liegender Modelle - entwicklungsbegleitend gezielt erhöhen sowie der Debugging- und Verifikationsaufwand im Rahmen manueller bzw. Modell-basierter Entwicklung deutlich reduzieren.
Die Code-Verifikation mit PolySpace liefert zudem Aussagen über dynamisch nicht ausführbare Zweige im Programmcode und unterstützt Sie bei Aktivitäten im Rahmen sicherheitsrelevanter Anforderungen nach z.B. ISO/IEC 61508, DO-178B oder FDA-510(k).

Dieses Webinar richtet sich sowohl an Projektleiter, Entwickler und Programmierer als auch an Verantwortliche in der Qualitätssicherung, die die Fehlerfreiheit und Qualität von Software sicherstellen müssen. Kenntnisse in Model-Based Design sind wünschenswert.

Anhand von Demonstrationen der Software zeigen wir Ihnen, wie Sie:

• Embedded Code Module in Ihrem gewohnten Entwicklungsprozess und Framework wie z.B. Eclipse einfach mit PolySpace verifizieren
• PolySpace Verifikationsergebnisse direkt in qualitätsverbessernde Maßnahmen umsetzen
• Ursachen für Laufzeitfehler oder toten Code per Mouse-Click in ein Simulink Modell zurück verfolgen können.