Real-time Heart Model for Implantable Cardiac Device Validation and Verification

Loading...
Thumbnail Image
Penn collection
Departmental Papers (ESE)
Degree type
Discipline
Subject
Real-time systems
medical devices
validation
verification
closed-loop control
Biomedical
Computational Engineering
Electrical and Electronics
Funder
Grant number
License
Copyright date
Distributor
Contributor
Abstract

Designing bug-free medical device software is difficult, especially in complex implantable devices that may be used in unanticipated contexts. Safety recalls of pacemakers and implantable cardioverter defibrillators due to firmware problems between 1990 and 2000 affected over 200,000 devices, comprising 41% of the devices recalled and are increasing in frequency. There is currently no formal methodology or open experimental platform to validate and verify the correct operation of medical device software. To this effect, a real-time Virtual Heart Model (VHM) has been developed to model the electrophysiological operation of the functioning (i.e. during normal sinus rhythm) and malfunctioning (i.e. during arrhythmia) heart. We present a methodology to extract timing properties of the heart to construct a timed-automata model. The platform exposes functional and formal interfaces for validation and verification of implantable cardiac devices. We demonstrate the VHM is capable of generating clinically-relevant response to intrinsic (i.e. premature stimuli) and external (i.e. artificial pacemaker) signals for a variety of common arrhythmias. By connecting the VHM with a pacemaker model, we are able to pace and synchronize the heart during the onset of irregular heart rhythms. The VHM has also been implemented on a hardware platform for closed-loop experimentation with existing and virtual medical devices. The VHM allows for exploratory electrophysiology studies for physicians to evaluate their diagnosis and determine the appropriate device therapy. This integrated functional and formal device design approach will potentially help expedite medical device certification for safer operation.

Advisor
Date of presentation
2010-03-26
Conference name
Departmental Papers (ESE)
Conference dates
2023-05-17T03:40:09.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Suggested Citation: Jiang, Z., M. Pajic , A. Connolly , S. Dixit and R. Mangharam. "Real-time Heart Model for Implantable Cardiac Device Validation and Verification." Presented at 22nd Euromicro Conference on Real-Time Systems (ECRTS10), July 6-9, 2010, Brussels, Belgium. Cross Reference to: http://repository.upenn.edu/ese_reports/3/ ©2010 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. See more from the mLAB in ScholarlyCommons at Real-Time and Embedded Systems Lab (mLAB) (http://repository.upenn.edu/mlab_papers/)
Recommended citation
Collection