Herzschrittmacher: Heart on a chip

Elektrophysiologisches Herzmodell für Regelkreistests in Echtzeit

Zwischen 1990 und 2000 wurden mehr als 600.000 Medizinprodukte für den Einsatz am Herzen von Herstellern zurückgerufen. Etwa 200.000 dieser Rückrufe ergaben sich aufgrund von Softwareproblemen.

Aufgrund der Tatsache, dass ein typischer Herzschrittmacher 80.000 bis 100.000 Codezeilen enthält, erweist sich für Hersteller die Erkennung von Softwarefehlern unter Verwendung aktueller branchenüblicher Methoden als schwierig. Diese Methoden beruhen auf Open-Loop-Tests, bei denen die Tester zuvor aufgezeichnete Signale an den Herzschrittmacher weiterleiten und die entsprechenden Rückgabewerte auswerten. Open-Loop-Tests können zeigen, wie der Herzschrittmacher auf unterschiedliche Zustände des Herzens reagiert, jedoch nicht, wie das Herz in einem geschlossenen Regelkreis auf den Herzschrittmacher reagiert. Dies ist besonders wichtig bei Problemen wie Tachykardie, die durch den Herzschrittmacher ausgelöst wird. Hierbei kann der Herzschrittmacher das Herz in einen instabilen Zustand bringen. Das Team in der Abteilung für Elektro- und Systemtechnik der University of Pennsylvania hat den Prototyp eines elektrophysiologischen Modells des Herzens entwickelt, das es ermöglicht, den Herzschrittmacher in Echtzeit in einem geschlossenen Regelkreis zu testen. Dieses mit Matlab und Simulink entwickelte System, bei dem das Herz auf einem Chip abgebildet ist (‚Heart-on-a-Chip‘), kann so konfiguriert werden, dass es den spezifischen elektrophysiologischen Merkmalen eines Patienten entspricht. Es kann eine Vielzahl von Zuständen des Herzens simulieren, um eine frühzeitige Verifikation der Herzschrittmacher-Software zu ermöglichen. Zum besseren Verständnis der Arbeitsweise elektrischer Signale im Herzen sind Herzoperationen im Krankenhaus der University of Pennsylvania beobachtet worden.

Erstellen des Herzmodells

Während dieser Operationen leiten Physiker der elektrophysiologischen Abteilung über einen Katheter elektrischen Strom in das Herz. Anschließend wurde das elektrische Verhalten des Herzens überwacht und die Konduktivität entlang der Leitungen gemessen. Es wurde ein anfängliches elektrophysiologisches Modell des Herzens in Matlab erzeugt. Matlab ist aus mehreren Gründen ausgewählt worden: Zuerst wurden umfangreiche Designuntersuchungen in den ersten Stufen der Entwicklung durchgeführt, und Matlab bietet eine geeignete Umgebung, um neue Ideen auszuprobieren. Zweitens sind die meisten Jungakademiker bereits erfahren im Umgang mit Matlab, sodass sie sich umgehend und ohne neue Software erlernen zu müssen, am Projekt beteiligen können. Drittens unterstützen Matlab und Simulink die Codegenerierung für FPGAs und Embedded Systems, die für Echtzeit-Tests benötigt werden. Nach der Simulierung und Verfeinerung des Matlab-Herzmodells wurde eine Simulink- und Stateflow-Version erstellt. Dieses Modell stellte eine visuelle Repräsentation der Knoten und Leitungen im Herzen dar und ermöglichte deutlich schnellere Simulationen als die Matlab-Version. Das Simulink- und Stateflow-Modell umfasst etwa 30 Teilmodelle von Knoten und 30 Teilmodelle von Leitungen, die in Stateflow-Charts näher beschrieben werden. Das Teilmodell des Knotenautomaten umfasst drei Zustände, die einem Ruhezustand und zwei aktiven Zuständen, der effektiven Refraktionsperiode (ERP) sowie der relativen Refraktionsperiode (RRP) (Bild 2) entsprechen. Der Pfadautomat ist komplexer und umfasst fünf Zustände, welche die Leitung des Pfads beschreiben: ante (Vor, d. h. Vorwärtsleitung), idle (Leerlauf, d. h. keine Leitung), retro (Zurück, d. h. Rückwärtsleitung), double (Doppelt, d. h. Leitung in beide Richtungen) und conflict (Konflikt). Mehrere Herzrhythmusstörungen im Herzmodell wurden durch den Leiter der Abteilung für Herzelektrophysiologie in der Klinik Philadelphia VA validiert.

Erstellen des Herzschrittmachermodells

Vor der Modellerstellung des Herzschrittmachers in Simulink und Stateflow wurde speziell für die formale Verifikation ein Realzeitmodell des Automaten unter Verwendung der UPPAAL Modellierungsumgebung gebaut. Dieses wurde in Zusammenarbeit mit der Universität Aalborg in Dänemark und der Universität Uppsala in Schweden entwickelt. Das Modell basiert auf einer durch den Hersteller des Herzschrittmachers zur Verfügung gestellten Spezifikation. Es ermöglicht die Evaluierung der Designmöglichkeiten und stellt unter Beweis, dass bestimmte Eigenschaften des Designs den Anforderungen entsprochen haben. Ein eher herkömmlicher Ansatz wäre gewesen, mit einem Modell von Simulink und Stateflow zu beginnen und im Anschluss unter Verwendung des Simulink Design Verifier die formelle Verifikation durchzuführen. Für die formelle Verifikation der Zeitplanung von Ereignissen sowie für die Laufzeit- und Sicherheitseigenschaften des Designs soll Simulink Design Verifier verwendet werden. Es wurde UPP2SF verwendet, wobei es sich um ein Modellumwandlungs-Tool handelt, das an der University of Pennsylvania entwickelt wurde. Es wandelt die UPPAAL Realzeitmodelle für Simulation und Tests automatisch in ein Simulink- und Stateflow-Modell um (Bild 3).

Seiten: 1 2Auf einer Seite lesen