Header menu link for other important links
X
Runtime verification of implantable medical devices using multiple physiological signals
Abhinandan Panda, Srinivas Pinisetty, Partha Roop, Ajay Babu K.,
Published in Association for Computing Machinery
2021
Abstract
The modern technological advances allow IMDs to be accessed and controlled wirelessly, making them more vulnerable to a variety of security attacks. In this work, we propose a new approach of dual input channel to the runtime monitor that takes both ECG and PPG sensing techniques to monitor safety policies of an IMD. The monitor can be deployed on a wearable device that senses ECG and PPG signals non-invasively to verify if the IMD is not diverging from a safe baseline. We present the formal dual input channel monitor synthesis framework. Our experiments using the Pacemaker safety policies validate the developed correlation of ECG and PPG signals and the proposed runtime monitoring approach. © 2021 Owner/Author.
About the journal
JournalProceedings of the ACM Symposium on Applied Computing
PublisherAssociation for Computing Machinery