Formalizing electrocardiogram (ECG) signal behavior in event-B

Hussam Al-Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

16 Scopus citations

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.

Original languageBritish English
Title of host publication2014 IEEE 16th International Conference on e-Health Networking, Applications and Services, Healthcom 2014
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages55-60
Number of pages6
ISBN (Electronic)9781479966448
DOIs
StatePublished - 2014
Event2014 16th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2014 - Natal, Brazil
Duration: 15 Oct 201418 Oct 2014

Publication series

Name2014 IEEE 16th International Conference on e-Health Networking, Applications and Services, Healthcom 2014

Conference

Conference2014 16th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2014
Country/TerritoryBrazil
CityNatal
Period15/10/1418/10/14

Keywords

  • Electrocardiography
  • Event-B
  • Formal Methods
  • Formalizing ECG

Fingerprint

Dive into the research topics of 'Formalizing electrocardiogram (ECG) signal behavior in event-B'. Together they form a unique fingerprint.

Cite this