DocumentCode :
1787985
Title :
Formalizing electrocardiogram (ECG) signal behavior in event-B
Author :
Al-Hamadi, Hussam ; Gawanmeh, Amjad ; Al-Qutayri, Mahmoud
Author_Institution :
Dept. of Electr. & Comput. Eng., Khalifa Univ., Abu Dhabi, United Arab Emirates
fYear :
2014
fDate :
15-18 Oct. 2014
Firstpage :
55
Lastpage :
60
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; formal specification; medical signal processing; ECG; complex diagnosis process; electrocardiogram signal; event-B; formal specifications; formal validation; heart electrical activity; Conferences; Context; Electrocardiography; Heart; Information systems; Medical services; Reliability; Electrocardiography; Event-B; Formal Methods; Formalizing ECG;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
e-Health Networking, Applications and Services (Healthcom), 2014 IEEE 16th International Conference on
Conference_Location :
Natal
Type :
conf
DOI :
10.1109/HealthCom.2014.7001813
Filename :
7001813
Link To Document :
بازگشت