Ist das Herz durch einen Infarkt oder eine Erkrankung geschwächt, kann es den Körper oft nicht mehr ausreichend mit sauerstoffreichem Blut versorgen. Ärzte können das geschwächte Organ mit einer Art mechanischen Pumpe unterstützen. Der Grad dieser Hilfe ist unterschiedlich: Teilweise reicht es, wenn die Pumpe das Herz ein wenig unterstützt, bei anderen Krankheitsverläufen übernimmt die Pumpe die komplette Herzfunktion. Da das Leben des Patienten von der Pumpe abhängt, wäre ihr Versagen fatal. Die Zuverlässigkeit der Steuerungssoftware spielt daher eine entscheidende Rolle.

Herzunterstützungssysteme werden bereits seit 20 Jahren eingesetzt, jedoch sind heutige und zukünftige Antriebstechniken viel stärker softwaregesteuert als früher. „Die Entwicklung ist ähnlich wie bei einem Auto: Heute werden sehr viele Funktionen von Software übernommen, etwa bei Fahrerassistenzsystemen. Zudem haben sich die Zulassungsbedingungen verschärft: Automodelle, die vor 15 Jahren auf dem Markt waren, würden heute nicht mehr zugelassen — genauso ist es bei den Herzunterstützungssystemen“, sagt Prof. Dr. Holger Schlingloff vom Fraunhofer-Institut für Rechnerarchitektur und Softwaretechnik FIRST in Berlin. Sein Team entwickelt mit der Firma Berlin Heart GmbH ein modellbasiertes Testsystem: Es dient dazu, die Sicherheit der Systemfunktionen zu garantieren.

Für die Modellierung entsprechender Systeme gibt es zwei Ansätze: Der erste geht vom vorgesehenen Einsatzszenario aus. Wie etwa kann der Arzt das Gerät bedienen? Wie setzt die Software seine Angaben um? Der zweite Ansatz startet beim Quellcode der Software. Wo verbirgt sich beispielsweise welche Funktion? Da auch die Experten eine Zeile im Quellcode überlesen könnten, haben sie ein Computerprogramm entwickelt: Es hilft ihnen, sicherheitskritische Stellen automatisch zu finden.