Assertion-Based verification technique for ECG bio-sensor algorithms

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

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

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.

Original languageBritish English
Title of host publication2016 IEEE 59th International Midwest Symposium on Circuits and Systems, MWSCAS 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781509009169
DOIs
StatePublished - 2 Mar 2017
Event59th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2016 - Abu Dhabi, United Arab Emirates
Duration: 16 Oct 201619 Oct 2016

Publication series

NameMidwest Symposium on Circuits and Systems
ISSN (Print)1548-3746

Conference

Conference59th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2016
Country/TerritoryUnited Arab Emirates
CityAbu Dhabi
Period16/10/1619/10/16

Fingerprint

Dive into the research topics of 'Assertion-Based verification technique for ECG bio-sensor algorithms'. Together they form a unique fingerprint.

Cite this