@inproceedings{81c3b6df6091428087c72806144a09c7,
title = "Assertion-Based verification technique for ECG bio-sensor algorithms",
abstract = "This paper proposes a verification approach for testing the functionality of the algorithms in ECG bio-sensor. Algorithms functionality is achieved once the medical target of the algorithm is achieved correctly within an acceptable processing time. The Pan Tompkins algorithm is one of the well-known methods, which is used to detect the QRS wave in ECG signal. The QRS detection and other design goals can be traced through the assertion technique. The proposed approach is based on inserting assertions within the model of ECG bio-sensor design. In addition, this approach depends on pre-defined generated ECG records to assist the assertions on evaluate the Pan Tompkins functionality and analysis stage of the ECG bio-sensor.",
author = "Hussam Al-Hamadi and Amjad Gawanmeh and Mahmoud Al-Qutayri",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 59th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2016 ; Conference date: 16-10-2016 Through 19-10-2016",
year = "2017",
month = mar,
day = "2",
doi = "10.1109/MWSCAS.2016.7870077",
language = "British English",
series = "Midwest Symposium on Circuits and Systems",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2016 IEEE 59th International Midwest Symposium on Circuits and Systems, MWSCAS 2016",
address = "United States",
}