Access Restriction

Author Zhihao Jiang ♦ Pajic, M. ♦ Mangharam, R.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2011
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science ♦ Technology ♦ Engineering & allied operations ♦ Other branches of engineering
Subject Keyword Heart ♦ Real time systems ♦ cyber-physical systems ♦ Biological system modeling ♦ medical devices ♦ Pacemakers ♦ Software ♦ Real-time systems ♦ Safety ♦ Testing
Abstract The increasing complexity of software in implantable medical devices such as cardiac pacemakers and defibrillators accounts for over 40% of device recalls. Testing remains the principal means of verification in the medical device certification regime. Traditional software test generation techniques, where the tests are generated independently of the operational environment, are not effective as the device must be tested within the context of the patient's condition and the current state of the heart. It is necessary for the testing system to observe the system state and adaptively generate the next input to advance the purpose of the test. To this effect, a set of general and patient condition-specific temporal requirements is specified for the closed-loop heart and pacemaker system. Based on these requirements, we implemented a closed-loop testing platform between a timed automata based heart model on a FPGA board and a pacemaker on a micro-controller. This allows for interactive and physiologically relevant model-based test generation for basic pacemaker device operations such as maintaining the heart rate and atrial-ventricle synchrony. We also demonstrate the flexibility and efficacy of the testing platform for more complex common timing anomalies such as reentry circuits, pacemaker mode switch operation and pacemaker-mediated tachycardia. This system is a step toward a testing approach for medical cyber-physical systems with the patient-in-the-loop.
Description Author affiliation: Dept. Electrical & System Engineering, University of Pennsylvania (Zhihao Jiang; Pajic, M.; Mangharam, R.)
ISBN 9781612848549
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2011-04-12
Publisher Place USA
Rights Holder Association for Computing Machinery, Inc. (ACM)
e-ISBN 9781450305129
Size (in Bytes) 199.93 kB
Page Count 2
Starting Page 119
Ending Page 120

Source: IEEE Xplore Digital Library