Federal University of Alagoas;
Federal University of the Agreste of Pernambuco;
Av. Lourival Melo Mota;
Electronics;
PE 55292-270;
Garanhuns;
R. Aprigio Veloso;
Center for Technological Innovation and Entrepreneurship;
Federal Institute of Alagoas;
S/n;
Federal University of Campina Grande;
882;
Rodovia estadual AL-110;
s/n;
Campina Grande;
AL 57072-900;
Computing Institute;
Av. Bom Pastor;
PB 58429-900;
Department of Electrical Engineering;
Maceio;
Brazil;
Arapiraca;
Brazil||Computing Institute;
AL 57.317;
关键词：
Validation;
ECG devices;
Signal simulation;
Coloured Petri nets;
Testing;
期刊名称：
Journal of supercomputing
i s s n：
0920-8542
年卷期：
2024 年
80 卷
10 期
页 码：
14242-14271
页 码：
摘 要：
Biomedical signal acquisition devices (e.g., Electrocardiography-ECG) are relevant for diagnosing and monitoring persons who have developed a variety of diseases, such as cardiovascular diseases. These devices comply with regulatory requirements before being marketed to prevent misleading measures, and they should also pass through corrective and preventive maintenance to keep them working correctly. We designed and implemented a simulation-based system to support these needs and assist manufacturers and healthcare facilities. This article focuses on demonstrating the effectiveness of our system for validating ECG devices. Our system comprises software in a computing device and a biomedical signals transducer. The system relies on coloured Petri nets modeling language, a frequency-based filtering method, and publicly available databases. We validated the system using the PhysioNet database and comparison tests to verify the expected signal and outputs based on MATLAB filters and the commercial ECG device ENGC901448 from Instramed. The system was proven reliable, low-cost, and portable. Our proposal is relevant to providing evidence for certification and assisting healthcare facilities in conducting testing and corrective and preventive maintenance.
分享
载入中，请稍后...
