Skip to main content

Demo abstract: Model-based testing of implantable cardiac devices

Publication ,  Conference
Sarode, S; Radhakrishnan, S; Sampath, V; Jiang, Z; Pajic, M; Mangharam, R
Published in: Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012
May 31, 2012

The heart is the most important natural realtime system and its interaction with an implantable artificial pacemaker make for a perfect example of a Cyber-Physical System. The increasing complexity in implantable cardiac device software has been responsible, in part, for the surge in device recalls due to firmware problems. To ensure the safety and efficacy of the device, the device's software has to be tested in a closed-loop with a real-time and interactive model of the heart. The Virtual Heart Model (VHM) has been developed in Simulink to simulate the electrophysiology of the heart. The VHM can be automatically translated into Verilog code using the Simulink HDL Coder and implemented on a FPGA platform. This faithful translation enables testing to move freely between model-level and implementation-level and take advantage of both. In this demo, the VHM implementation is connected to a pacemaker implementation and reproduces several safety critical closed-loop clinical cases which will not arise during open-loop testing. This work is part of a model-based framework for implantable cardiac device validation & verification. © 2012 IEEE.

Duke Scholars

Published In

Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012

DOI

Publication Date

May 31, 2012

Start / End Page

221
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Sarode, S., Radhakrishnan, S., Sampath, V., Jiang, Z., Pajic, M., & Mangharam, R. (2012). Demo abstract: Model-based testing of implantable cardiac devices. In Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012 (p. 221). https://doi.org/10.1109/ICCPS.2012.42
Sarode, S., S. Radhakrishnan, V. Sampath, Z. Jiang, M. Pajic, and R. Mangharam. “Demo abstract: Model-based testing of implantable cardiac devices.” In Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012, 221, 2012. https://doi.org/10.1109/ICCPS.2012.42.
Sarode S, Radhakrishnan S, Sampath V, Jiang Z, Pajic M, Mangharam R. Demo abstract: Model-based testing of implantable cardiac devices. In: Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012. 2012. p. 221.
Sarode, S., et al. “Demo abstract: Model-based testing of implantable cardiac devices.” Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012, 2012, p. 221. Scopus, doi:10.1109/ICCPS.2012.42.
Sarode S, Radhakrishnan S, Sampath V, Jiang Z, Pajic M, Mangharam R. Demo abstract: Model-based testing of implantable cardiac devices. Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012. 2012. p. 221.

Published In

Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012

DOI

Publication Date

May 31, 2012

Start / End Page

221