Das Fraunhofer-Institut für Rechnerarchitektur und Softwaretechnik (FIRST) in Berlin hat die Berlin Heart GmbH bei der US-Zulassung von Excor Pediatric durch die Food and Drug Administration (FDA) mit modernen Testverfahren unterstützt. Excor Pediatric ist ein Herzunterstützungssystem für Kinder. Mit Methoden der modellbasierten Softwareentwicklung schuf der Fraunhofer FIRST Werkzeuge zur Qualitätssicherung der Steuergerätesoftware. Mit deren Hilfe wurde die korrekte Funktion der Software nachgewiesen und eine lückenlose Dokumentation des Entwicklungsprozesses erstellt. Künstliche Herzunterstützungssysteme können die Pumpfunktion des Herzens teilweise oder sogar vollständig ersetzen. Wesentlich ist, dass das Steuergerät fehlertolerant arbeitet und dafür sorgt, dass das System die vorgegebenen Werte aufrechterhält. Um die Qualität der Software zu überprüfen und zu belegen, wurde das bewährte Softwaresystem neu erfasst und beschrieben. Dafür wurden aus dem existierenden Source Code mit der Modellierungssprache UML2 Modelle entwickelt, die ein automatisches Generieren von Testfällen und die nachträgliche Dokumentation aller Entwicklungsschritte ermöglichten. Zusätzlich segmentierten die Forscher den Softwarecode und überprüften die Teile und ihre Schnittstellen. Excor Pediatric ist seit 1996 CE-zertifiziert und in Deutschland im Einsatz.
Teilen:
