{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T14:48:31Z","timestamp":1781102911666,"version":"3.54.1"},"reference-count":26,"publisher":"IGI Global Scientific Publishing","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.4018\/ijehmc.2017100101","type":"journal-article","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T10:21:55Z","timestamp":1500891715000},"page":"1-20","source":"Crossref","is-referenced-by-count":9,"title":["Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification"],"prefix":"10.4018","volume":"8","author":[{"given":"Hussam","family":"Al Hamadi","sequence":"first","affiliation":[{"name":"Khalifa University, Abu Dhabi, United Arab Emirates"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amjad","family":"Gawanmeh","sequence":"additional","affiliation":[{"name":"Khalifa University, Abu Dhabi, United Arab Emirates"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mahmoud","family":"Al-Qutayri","sequence":"additional","affiliation":[{"name":"Khalifa University, Abu Dhabi, United Arab Emirates"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"IJEHMC.2017100101-0","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"IJEHMC.2017100101-1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0145-y"},{"issue":"23","key":"IJEHMC.2017100101-2","first-page":"1","article-title":"Components of a New Research Resource for Complex Physiologic Signals, PhysioBank, PhysioToolkit, and PhysioNet","volume":"101","year":"2000","journal-title":"American Heart Association Journals"},{"key":"IJEHMC.2017100101-3","doi-asserted-by":"publisher","DOI":"10.1109\/BHI.2014.6864444"},{"key":"IJEHMC.2017100101-4","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2015.7396740"},{"key":"IJEHMC.2017100101-5","doi-asserted-by":"crossref","unstructured":"Azucena, H., R\u00edos, E., Pe\u00f1a, R. D., & D\u00edaz, J. (2015, June). Design and implementation of a simple portable biomedical electronic device to diagnose cardiac arrhythmias. Sensing and Bio-Sensing Research, 4, 1-10.","DOI":"10.1016\/j.sbsr.2015.01.001"},{"key":"IJEHMC.2017100101-6","doi-asserted-by":"publisher","DOI":"10.1504\/IJAHUC.2014.059903"},{"key":"IJEHMC.2017100101-7","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2014.09.002"},{"key":"IJEHMC.2017100101-8","doi-asserted-by":"publisher","DOI":"10.1109\/BMEI.2012.6513218"},{"key":"IJEHMC.2017100101-9","author":"W.Chung","year":"2009","journal-title":"Ubiquitous Healthcare System Based on A Wireless Sensor Network"},{"key":"IJEHMC.2017100101-10","doi-asserted-by":"crossref","unstructured":"de Chazal, P., O'Dwyer, M., & Reilly, R.B. (2004, July). Automatic classification of heartbeats using ECG morphology and heartbeat interval features. IEEE Transactions on Biomedical Engineering, 51(7), 1196-1206.","DOI":"10.1109\/TBME.2004.827359"},{"key":"IJEHMC.2017100101-11","unstructured":"ECG Basics. (n. d.). Life in the Fast Lane Medical Blog. Retrieved from http:\/\/lifeinthefastlane.com\/ecg-library\/basics\/"},{"key":"IJEHMC.2017100101-12","doi-asserted-by":"crossref","unstructured":"Ko, H., & Song, M. (2016). Evaluation of digital compressed sensing for real-time wireless ECG system with Bluetooth low energy. Journal of Medical Systems, 40(7), 1\u20139.26573639","DOI":"10.1007\/s10916-016-0526-1"},{"key":"IJEHMC.2017100101-13","doi-asserted-by":"publisher","DOI":"10.4018\/jehmc.2012100106"},{"key":"IJEHMC.2017100101-14","doi-asserted-by":"crossref","unstructured":"Gacek, A., & Pedrycz, W. (Eds.). (2012). ECG Signal Processing, Classification and Interpretation. London: Springer.","DOI":"10.1007\/978-0-85729-868-3"},{"key":"IJEHMC.2017100101-15","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2005.847350"},{"key":"IJEHMC.2017100101-16","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-011-9745-7"},{"key":"IJEHMC.2017100101-17","doi-asserted-by":"publisher","DOI":"10.1504\/IJSNET.2016.079172"},{"key":"IJEHMC.2017100101-18","unstructured":"Overcomeheartdisease. (n. d.). What are rare heart diseases. Retrieved from http:\/\/www.overcomeheartdisease.com\/rare-heartdiseases.htm"},{"key":"IJEHMC.2017100101-19","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2015.2509426"},{"key":"IJEHMC.2017100101-20","doi-asserted-by":"publisher","DOI":"10.1109\/TBME.1985.325532"},{"issue":"1","key":"IJEHMC.2017100101-21","first-page":"68","article-title":"Ecg signal analysis using wavelet transforms","volume":"35","author":"C.Saritha","year":"2008","journal-title":"Bulg. J. Phys"},{"key":"IJEHMC.2017100101-22","doi-asserted-by":"publisher","DOI":"10.1109\/ICBBT.2010.5478930"},{"key":"IJEHMC.2017100101-23","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-009-9392-4"},{"key":"IJEHMC.2017100101-24","doi-asserted-by":"publisher","DOI":"10.1109\/WMNC.2013.6548958"},{"key":"IJEHMC.2017100101-25","unstructured":"Yufei, W., & Wang, Q. (2013). Evaluating the IEEE 802.15. 6 2.4 Ghz WBAN proposal on medical multi-parameter monitoring under Wi-Fi\/Bluetooth interference. In Digital Advances in Medicine, E-Health, and Communication Technologies (pp. 312\u2013325). Hershey, PA: IGI Global."}],"container-title":["International Journal of E-Health and Medical Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=187053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,5]],"date-time":"2022-05-05T18:04:46Z","timestamp":1651773886000},"score":1,"resource":{"primary":{"URL":"http:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJEHMC.2017100101"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":26,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.4018\/ijehmc.2017100101","relation":{},"ISSN":["1947-315X","1947-3168"],"issn-type":[{"value":"1947-315X","type":"print"},{"value":"1947-3168","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10]]}}}