an electrophysiological heart model for formal and ...€¦ · • fda has no formal method for...

17
An Electrophysiological Heart Model for Formal and Functional Model for Formal and Functional Device Verification Allison Connolly BME 2010 Johns Hopkins University BME 2010, Johns Hopkins University Advisor: Rahul Mangharam, ESE, UPenn SUNFEST Final Presentation

Upload: others

Post on 23-Jun-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

An Electrophysiological Heart Model for Formal and Functional Model for Formal and Functional

Device Verification

Allison ConnollyBME 2010 Johns Hopkins UniversityBME 2010, Johns Hopkins University

Advisor: Rahul Mangharam, ESE, UPenn

SUNFEST Final Presentation

Page 2: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Introduction

• FDA has no formal method for verifying medical device software

• Develop heart model as a testing tool• Plug-and-play with devices, patients, and software• Allows for testing and detection of malfunctions• My role: start a new project

SUNFEST Final Presentation

Page 3: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Motivation

Problem: Over 200,000 cardiac medical devices recalled from 1990-2000 due to software. From 1985-2005, nearly 30,000 deaths and 600,000 injuries from device failuresinjuries from device failures.

Goal: F ilit t th d i f b f di l d i ftFacilitate the design of bug-free medical device software.

SUNFEST Final Presentation

Page 4: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Overview

Virtual Patient Medical DevicesPatient

•Context•Patient historyHeart Model •Pacemaker

•ICD•Recordings•Synthesized •Patient history

•Stored data•Generic EP•Patient specific

ICD•Monitors•Future Devices

ysignals•Combination

•Patient specific•Formal

•Virtual Devices

SUNFEST Final Presentation

Page 5: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Background: Data Collection

•Electrocardiogram (ECG)(ECG)•ElectrogramCARTO M i•CARTO Mapping

•MRI images

SUNFEST Final Presentation

Page 6: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Background: ECG

•Electrocardiogram (ECG)(ECG)•Measures electrical activity of heart fromactivity of heart from surface of chest•Up to 12 leadsUp to eads•Diagnose arrhythmias and heart diseases

P QRS T

SUNFEST Final Presentation

Page 7: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Background: ECG

Normal Sinus Rhythm Atrial Fibrillation

Ventricular FibrillationVentricular Tachycardia

SUNFEST Final Presentation

Page 8: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Vectorcardiogram

SUNFEST Final Presentation

Page 9: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Closed Loop System

Normal Sinus

Rhythm

pace paceshock on T

a eBradychardia Ventricular

Tachycardia

wave

do

shock

nothing for s1seconds

Ventricular Fibrillation Death

do nothing for s2

SUNFEST Final Presentation

2seconds

Page 10: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Open Loop Example

Ventricular Tachycardia

do nothing for s1seconds

DeathVentricular Fibrillation do

nothing for s2

SUNFEST Final Presentation

2seconds

Page 11: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

ICD Closed Loop Example

Normal Sinus

Rhythm

paceshock on T

a eVentricular

Tachycardia

wave

do thinothing

for s1seconds

shock

Ventricular Fibrillation

SUNFEST Final Presentation

Page 12: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

ICD Closed Loop Example

SUNFEST Final Presentation

Page 13: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Heart Response to PacemakerNormal P

wavePaced P

wave

pace

Paced QRS Normal QRS

pace ventricle

ventricle

complex complex

T waveVentricular Fibrillation

pace atriapace ventricle

Tp interval pace atriapace ventricle

SUNFEST Final Presentation

Page 14: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Pacemaker Closed Loop

SUNFEST Final Presentation

Page 15: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Medical Device Testing

•Model embedded in hardware

–Direct connection to devices

V lid t d if•Validate and verify software

–Reduce recallsReduce recalls•Develop new software

–Better discrimination algorithms

SUNFEST Final Presentation

Page 16: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Conclusions

+ Created model that responds to device actuationactuation+ Model covers broad spectrum of arrhythmias

-Current model is too simple, only ECG-Need to model intracardiac signals for implantable devices-Need in depth model for proper device verification

SUNFEST Final Presentation

Page 17: An Electrophysiological Heart Model for Formal and ...€¦ · • FDA has no formal method for verifying medical device software • Develop heart model as a testing tool • Plug-and-play

Acknowledgements

•Prof. Rahul Mangharam•Zhihou JiangZhihou Jiang•mLab members•Dr. Ed Gerstenfeld QUESTIONS?•Gorman Lab•Jan Van der Spiegel

QU S O S

•SUNFEST staff•NSF

SUNFEST Final Presentation