Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification

Hussam Al Hamadi, Amjad Gawanmeh and Mahmoud Al-Qutayri
Additional contact information
Hussam Al Hamadi: Khalifa University, Abu Dhabi, United Arab Emirates
Amjad Gawanmeh: Khalifa University, Abu Dhabi, United Arab Emirates
Mahmoud Al-Qutayri: Khalifa University, Abu Dhabi, United Arab Emirates

International Journal of E-Health and Medical Communications (IJEHMC), 2017, vol. 8, issue 4, 1-20

Abstract: Testing and verifying the operation of bio-sensor nodes is essential due to the sensitivity and safety-critical aspects of their applications. Simulation technique is frequently used for this task; however, a proper set of test cases is required in order to carry out the simulation process. This paper focuses on enhancing the verification operations of an ElectroCardioGram (ECG) biomedical sensor node through simulation. It presents a new methodology for guided Test Cases Generation (TCG) of ECG signals from formal design specifications. Event-B invariants are used to specify ECG requirements, and then a new algorithm is used to translate these specifications into proper ECG signal parameters. These parameters are subsequently used to control the required shape of the ECG in order to have a wide range of scenarios. The primary objective of this work is to provide ECG test cases to detect design errors in biomedical algorithms. In addition, it can complement the usage of the limited ECG databases currently available to verify the correct operation of ECG bio-sensors.

Date: 2017
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 18/IJEHMC.2017100101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jehmc0:v:8:y:2017:i:4:p:1-20

Access Statistics for this article

International Journal of E-Health and Medical Communications (IJEHMC) is currently edited by Joel J.P.C. Rodrigues

More articles in International Journal of E-Health and Medical Communications (IJEHMC) from IGI Global
Bibliographic data for series maintained by Journal Editor ().