Model-based analysis of secure and patient-dependent pacemaker monitoring system

Leonidas Tsiopoulos; Alar Kuusik; Jüri Vain; Hayretdin Bahsi

doi:10.1007/978-3-030-64991-3_6

Model-based analysis of secure and patient-dependent pacemaker monitoring system

Leonidas Tsiopoulos, Alar Kuusik, Jüri Vain, Hayretdin Bahsi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English (US)
Title of host publication	Body Area Networks. Smart IoT and Big Data for Intelligent Health - 15th EAI International Conference, BODYNETS 2020, Proceedings
Editors	Muhammad Mahtab Alam, Matti Hämäläinen, Lorenzo Mucchi, Imran Khan Niazi, Yannick Le Moullec
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	77-91
Number of pages	15
ISBN (Print)	9783030649906
DOIs	https://doi.org/10.1007/978-3-030-64991-3_6
State	Published - 2020
Externally published	Yes
Event	15th International Conference on Body Area Networks, BodyNets 2020 - Tallinn, Estonia Duration: Oct 21 2020 → Oct 21 2020

Publication series

Name	Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
Volume	330
ISSN (Print)	1867-8211

Conference

Conference	15th International Conference on Body Area Networks, BodyNets 2020
Country/Territory	Estonia
City	Tallinn
Period	10/21/20 → 10/21/20

Keywords

Cardiac implanted electronic devices
Pacemaker
UPPAAL timed automata

ASJC Scopus subject areas

Computer Networks and Communications

Access to Document

10.1007/978-3-030-64991-3_6

Cite this

Tsiopoulos, L., Kuusik, A., Vain, J., & Bahsi, H. (2020). Model-based analysis of secure and patient-dependent pacemaker monitoring system. In M. M. Alam, M. Hämäläinen, L. Mucchi, I. K. Niazi, & Y. Le Moullec (Eds.), Body Area Networks. Smart IoT and Big Data for Intelligent Health - 15th EAI International Conference, BODYNETS 2020, Proceedings (pp. 77-91). (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; Vol. 330). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-64991-3_6

Model-based analysis of secure and patient-dependent pacemaker monitoring system. / Tsiopoulos, Leonidas; Kuusik, Alar; Vain, Jüri et al.
Body Area Networks. Smart IoT and Big Data for Intelligent Health - 15th EAI International Conference, BODYNETS 2020, Proceedings. ed. / Muhammad Mahtab Alam; Matti Hämäläinen; Lorenzo Mucchi; Imran Khan Niazi; Yannick Le Moullec. Springer Science and Business Media Deutschland GmbH, 2020. p. 77-91 (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; Vol. 330).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Tsiopoulos, L, Kuusik, A, Vain, J & Bahsi, H 2020, Model-based analysis of secure and patient-dependent pacemaker monitoring system. in MM Alam, M Hämäläinen, L Mucchi, IK Niazi & Y Le Moullec (eds), Body Area Networks. Smart IoT and Big Data for Intelligent Health - 15th EAI International Conference, BODYNETS 2020, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, vol. 330, Springer Science and Business Media Deutschland GmbH, pp. 77-91, 15th International Conference on Body Area Networks, BodyNets 2020, Tallinn, Estonia, 10/21/20. https://doi.org/10.1007/978-3-030-64991-3_6

Tsiopoulos L, Kuusik A, Vain J, Bahsi H. Model-based analysis of secure and patient-dependent pacemaker monitoring system. In Alam MM, Hämäläinen M, Mucchi L, Niazi IK, Le Moullec Y, editors, Body Area Networks. Smart IoT and Big Data for Intelligent Health - 15th EAI International Conference, BODYNETS 2020, Proceedings. Springer Science and Business Media Deutschland GmbH. 2020. p. 77-91. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST). doi: 10.1007/978-3-030-64991-3_6

Tsiopoulos, Leonidas ; Kuusik, Alar ; Vain, Jüri et al. / Model-based analysis of secure and patient-dependent pacemaker monitoring system. Body Area Networks. Smart IoT and Big Data for Intelligent Health - 15th EAI International Conference, BODYNETS 2020, Proceedings. editor / Muhammad Mahtab Alam ; Matti Hämäläinen ; Lorenzo Mucchi ; Imran Khan Niazi ; Yannick Le Moullec. Springer Science and Business Media Deutschland GmbH, 2020. pp. 77-91 (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST).

@inproceedings{83c8b0a481db41b28ef5fa45e285008b,

title = "Model-based analysis of secure and patient-dependent pacemaker monitoring system",

abstract = "Pacemakers{\textquoteright} safety, security and reliability are of utmost importance for patient{\textquoteright}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{\textquoteright}s expected lifetime is estimated relying on manufacturer{\textquoteright}s data sheet and expert knowledge that may result in quite rough approximations if patient{\textquoteright}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.",

keywords = "Cardiac implanted electronic devices, Pacemaker, UPPAAL timed automata",

author = "Leonidas Tsiopoulos and Alar Kuusik and J{\"u}ri Vain and Hayretdin Bahsi",

note = "Publisher Copyright: {\textcopyright} ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2020.; 15th International Conference on Body Area Networks, BodyNets 2020 ; Conference date: 21-10-2020 Through 21-10-2020",

year = "2020",

doi = "10.1007/978-3-030-64991-3_6",

language = "English (US)",

isbn = "9783030649906",

series = "Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "77--91",

editor = "Alam, {Muhammad Mahtab} and Matti H{\"a}m{\"a}l{\"a}inen and Lorenzo Mucchi and Niazi, {Imran Khan} and {Le Moullec}, Yannick",

booktitle = "Body Area Networks. Smart IoT and Big Data for Intelligent Health - 15th EAI International Conference, BODYNETS 2020, Proceedings",

address = "Germany",

}

TY - GEN

T1 - Model-based analysis of secure and patient-dependent pacemaker monitoring system

AU - Tsiopoulos, Leonidas

AU - Kuusik, Alar

AU - Vain, Jüri

AU - Bahsi, Hayretdin

N1 - Publisher Copyright: © ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2020.

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

KW - Cardiac implanted electronic devices

KW - Pacemaker

KW - UPPAAL timed automata

UR - http://www.scopus.com/inward/record.url?scp=85098261411&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85098261411&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-64991-3_6

DO - 10.1007/978-3-030-64991-3_6

M3 - Conference contribution

AN - SCOPUS:85098261411

SN - 9783030649906

T3 - Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST

SP - 77

EP - 91

BT - Body Area Networks. Smart IoT and Big Data for Intelligent Health - 15th EAI International Conference, BODYNETS 2020, Proceedings

A2 - Alam, Muhammad Mahtab

A2 - Hämäläinen, Matti

A2 - Mucchi, Lorenzo

A2 - Niazi, Imran Khan

A2 - Le Moullec, Yannick

PB - Springer Science and Business Media Deutschland GmbH

T2 - 15th International Conference on Body Area Networks, BodyNets 2020

Y2 - 21 October 2020 through 21 October 2020

ER -

Model-based analysis of secure and patient-dependent pacemaker monitoring system

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this