Research Article
Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System
@INPROCEEDINGS{10.1007/978-3-030-64991-3_6, author={Leonidas Tsiopoulos and Alar Kuusik and J\'{y}ri Vain and Hayretdin Bahsi}, title={Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System}, proceedings={Body Area Networks. Smart IoT and Big Data for Intelligent Health. 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020, Proceedings}, proceedings_a={BODYNETS}, year={2020}, month={12}, keywords={Cardiac implanted electronic devices Pacemaker UPPAAL timed automata.}, doi={10.1007/978-3-030-64991-3_6} }- Leonidas Tsiopoulos
Alar Kuusik
Jüri Vain
Hayretdin Bahsi
Year: 2020
Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System
BODYNETS
Springer
DOI: 10.1007/978-3-030-64991-3_6
Abstract
Pacemakers’ safety, security and reliability are of utmost importance for patient’s life quality in various daily situations. An integral characteristic of the pacemaker that depends on all of these attributes is its lifetime. In current medical practice the pacemaker’s expected lifetime is estimated relying on manufacturer’s data sheet and expert knowledge that may result in quite rough approximations if patient’s specifics are not taken into account. In this paper we perform a model-based quantitative analysis of pacemaker lifetime that takes into account patient specific factors, including general health condition, acting environment, remote reporting and others. We demonstrate that including these factors in analysis can provide drastically different results compared to that of average approximating estimates.
