Oxford logo
[BKM+15] C. Barker, M. Kwiatkowska, A. Mereacre, N. Paoletti, A. Patane. Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. In 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). 2015. [pdf] [bib]
Downloads:  pdf pdf (2.44 MB)  bib bib
Abstract. Implantable cardiac pacemakers are medical devices that can monitor and correct abnormal heart rhythms. To provide the necessary safety assurance for pacemaker software, both testing and verification of the code, as well as testing the entire pacemaker hardware in the loop, is necessary. In this paper, we present a hardware testbed that enables detailed hardware-in-the-loop simulation and energy optimisation of pacemaker algorithms with respect to a heart model. Both the heart and the pacemaker models are encoded in Simulink/Stateflow and translated into executable code, with the pacemaker executed directly on the microcontroller. We evaluate the usefulness of the testbed by developing a parameter synthesis algorithm which optimises the timing parameters based on power measurements acquired in real-time. The experiments performed on real measurements successfully demonstrate that the testbed is capable of energy minimisation in real-time and obtains safe pacemaker timing parameters.