Probabliistic Analysis Of Electrocardiogram (Ecg) Heart Signal |
| |
Authors: | Amjad Gawanmeh Usman Pervez Osman Hasan |
| |
Affiliation: | 1 Department of Electrical and Computer Engineering, Khalifa University of Science and Technology, Abu Dhabi, UAE2 School of Electrical Engineering and Computer Science, National University of Sciences and Technology (NUST), Islamabad, Pakistan3 Department of Electrical and Computer Engineering, Concordia University, Montreal, Canada |
| |
Abstract: | Electrocardiography (ECG) is a heart signal wave that is recorded using medical sensors, which are normally attached to the human body by the heart.
ECG waves have repetitive patterns that can be efficiently used in the diagnosis of heart problems as they carry several characteristics of heart operation.
Traditionally, the analysis of ECG waves is done using informal techniques, like simulation, which is in-exhaustive and thus the analysis results may lead
to ambiguities and life threatening scenarios in extreme cases. In order to overcome such problems, we propose to analyze ECG heart signals using
probabilistic model checking, which is a formal methods based quantitative analysis approach. This work presents the formal probabilistic analysis of ECG
signal abnormalities where the likelihood of abnormal patterns is studied and analyzed using the PRISM model checker. |
| |
Keywords: | Electrocardiography ECG Formal Modeling Probabilistic Analysis |
|
| 点击此处可从《计算机系统科学与工程》浏览原始摘要信息 |
|
点击此处可从《计算机系统科学与工程》下载全文 |
|