Aufgezeichnetes Webinar:: Verifikation von Embedded Software für FDA-zertifizierte medizinische Geräte

In diesem Webinar zeigen wir Ihnen die Vorteile Quell-Code basierter Verifikationsverfahren im Rahmen der Entwicklung von Software für medizinische Geräte, die von der amerikanischen Gesundheitsbehörde FDA zertifiziert werden.

Wir stellen die Anwendung formaler Methoden zur Verifikation des Quell-Codes vor, die auf abstrakten Interpretationstechnologien basieren. Dadurch kann der mathematische Nachweis der Abwesenheit definierter Laufzeitfehler in Embedded Software für medizinischer Geräte erbracht werden.
Weiterhin wird diese auf mathematischen Methoden basierende Lösung mit anderen Test- und Analysemethoden, wie dynamisches Testen, Code-Reviews und statische Analysen verglichen.

Dieses Webinar richtet sich sowohl an Entwickler als auch an Verantwortliche in der Qualitätssicherung, die die Fehlerfreiheit und Qualität von Software in medizinischen Geräten sicher stellen müssen und dabei Programmcode manuell oder Tool-gestützt erzeugen. Vorkenntnisse sind nicht erforderlich.

Themen:

• Workflow zur Entwicklung von high-integrity Software für FDA-zertifizierte medizinische Geräte.
• Source-Code basierte Verifikationsverfahren zur Verbesserung der Qualität und Zuverlässigkeit von Software in medizinischen Geräten.
• Vergleich mit anderen Software-Test und Analysemethoden.
• Anwendung formaler mathematischer Methoden zum Nachweis der Korrektheit von Embedded Software bezogen auf Laufzeitfehler – z.B. Array-Überlauf, Division durch Null, Overflows, Zugriff auf nicht initialisierte Variablen u.a.