A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems

Vasconcellos, Eduardo Moraes de Miranda; Cordeiro, Thiago; Sobrinho, Alvaro; Silva, Leandro Dias da; Perkusich, Ângelo; Lima, A.M.N.

doi:10.1109/iecon.2019.8927112

Cited by 3 publications

(6 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The CPN model enables modelers to define parameters to configure according to specific devices (e.g., monitoring ECG) to provide adaptability. A frequency-based filtering method using a mixed-radix FFT algorithm, implemented as part of the CPN model, guides the signal filtering representation of our validation system [36]. Therefore, using the same computing device (e.g., smartphone), our system compares the CPN model's and ECG device's output signals under validation by performance metrics such as the Root Mean Squared Error (RMSE).…”

Section: Simulation-based System 41 Componentsmentioning

confidence: 99%

A coloured Petri nets-based system for validation of biomedical signal acquisition devices

Júnior,

Sobrinho,

Silva

et al. 2024

J Supercomput

Self Cite

View full text Add to dashboard Cite

Biomedical signal acquisition devices (e.g., Electrocardiography -ECG) are relevant for diagnosing and monitoring persons who 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 to 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 (CPN) 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 provide evidence for certification and assisting healthcare facilities in conducting testing and corrective and preventive maintenance.

show abstract

Section: Simulation-based System 41 Componentsmentioning

confidence: 99%

A coloured Petri nets-based system for validation of biomedical signal acquisition devices

Júnior,

Sobrinho,

Silva

et al. 2024

J Supercomput

Self Cite

View full text Add to dashboard Cite

show abstract

“…Sabbaghi et al [20] presented an SLR on MBT using state-based systems. The authors surveyed models that can assist the automatic generation of abstract tests, highlighting finite state machines (FSM), extended finite state F I G U R E 4 Sample of simulation results from the signal filtering using the mixed-radix fast Fourier transform algorithm implemented in the ECG systems model [19] F I G U R E 5 Simulation sample of the software module of ECG systems [14] machines (EFSM), timed automata, and Markov chains. Uzun and Tekinerdogan [21] focused on MBT trends, also highlighting the most discussed specification languages as FSM, Petri Nets, I/O automata, and Markov chains.…”

Section: Related Workmentioning

confidence: 99%

“…Figure 6 illustrates an overview of the search process and results of the SLR. During the first search, the databases returned 2665 papers: IEEE Xplore Library (19), Science Direct (171), Web of Science (28), Springer (344), ACM Digital Library (43), and Google Scholar (2060). Firstly, we read the titles and abstracts of the 2665 returned papers.…”

Section: Systematic Literature Reviewmentioning

confidence: 99%

“…We represented the behaviours of hardware components using theoretical concepts and known algorithms, such as the fast Fourier transform, implemented using the CPN ML programming language. Thus, the model implements a mixed‐radix fast Fourier transform algorithm to conduct signal filtering based on a frequency‐domain approach [19]. Figure 4 presents a sample of simulation results from the signal filtering using the mixed‐radix fast Fourier transform algorithm implemented in the ECG systems model.…”

Section: Formal Models Of Medical Systemsmentioning

confidence: 99%

“…Sample of simulation results from the signal filtering using the mixed‐radix fast Fourier transform algorithm implemented in the ECG systems model [19]…”

Section: Formal Models Of Medical Systemsmentioning

confidence: 99%

See 2 more Smart Citations

Coloured Petri nets for abstract test generation in software engineering

Sobrinho

Almeida

Silva

et al. 2022

Software Testing Verif & Rel

Self Cite

View full text Add to dashboard Cite

Summary Model‐based testing (MBT) relies on models of the system's behaviour to generate abstract tests. Testers can reuse formal models using MBT to increase confidence in critical systems (e.g., medical and avionic systems). In this article, we investigate the current abstract test generation approaches for CPN to provide insights for testers who need to select a suitable one when applying the MBT using CPN. We conduct a systematic literature review to investigate the existing abstract test generation approaches designed for CPN. Subsequently, focusing on specific implementations and advantages/disadvantages, we experiment with formal models of medical systems during our empirical analysis to improve the discussion on existing abstract test generation approaches for CPN. Our study shows that CPN provides reliable tests quickly, depending on the abstract test generation approach applied.

show abstract

A Coloured Petri Nets-Based System for Validation of Biomedical Signal Acquisition Devices

Júnior,

Sobrinho,

Silva

et al. 2023

Preprint

Self Cite

View full text Add to dashboard Cite

Biomedical signal acquisition devices (e.g., Electrocardiography - ECG) are relevant for diagnosing and monitoring persons who 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 to 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 (CPN) 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 provide evidence for certification and assisting healthcare facilities in conducting testing and corrective and preventive maintenance.

show abstract

A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems

Cited by 3 publications

References 6 publications

A coloured Petri nets-based system for validation of biomedical signal acquisition devices

A coloured Petri nets-based system for validation of biomedical signal acquisition devices

Coloured Petri nets for abstract test generation in software engineering

A Coloured Petri Nets-Based System for Validation of Biomedical Signal Acquisition Devices

Contact Info

Product

Resources

About