@inproceedings{a0922b951fd9467d933178f4440284ed,
title = "Formalizing electrocardiogram (ECG) signal behavior in event-B",
abstract = "Recording the electrical activity of the heart over a period of time as detected using electrical sensors is referred to as Electrocardiography (ECG). ECG is recorded as a collection of signal waves that has repetitive patterns. These patterns are usually used in the complex diagnosis process through which ECG may indicate certain problems related to the heart or other parts of the body. Despite the extensive studies conducted on the analysis of ECG signals and their thorough analysis, there is a lack of a formal model that validate their specifications, which results in several inconsistencies and problems in their interpretations and usage. This, on the other hand, may lead to ambiguities and incompleteness in the methods that are developed utilizing ECG specifications and their features. Therefore, in this paper we propose a method to formalize and validate the specifications of ECG signals in Event-B. We formally define the waves of ECG and their relation, and then formalize and validate several properties about their behavior.",
keywords = "Electrocardiography, Event-B, Formal Methods, Formalizing ECG",
author = "Hussam Al-Hamadi and Amjad Gawanmeh and Mahmoud Al-Qutayri",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 2014 16th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2014 ; Conference date: 15-10-2014 Through 18-10-2014",
year = "2014",
doi = "10.1109/HealthCom.2014.7001813",
language = "British English",
series = "2014 IEEE 16th International Conference on e-Health Networking, Applications and Services, Healthcom 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "55--60",
booktitle = "2014 IEEE 16th International Conference on e-Health Networking, Applications and Services, Healthcom 2014",
address = "United States",
}