Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries

A Sobrinho, LD da Silva, A Perkusich… - BMC medical informatics …, 2018 - Springer
Background The chronic kidney disease (CKD) is a worldwide critical problem, especially in
developing countries. CKD patients usually begin their treatment in advanced stages, which …

Fabricating a portable ECG device using AD823X analog front-end microchips and open-source development validation

M Bravo-Zanoguera, D Cuevas-González, MA Reyna… - Sensors, 2020 - mdpi.com
Relevant to mobile health, the design of a portable electrocardiograph (ECG) device using
AD823X microchips as the analog front-end is presented. Starting with the evaluation board …

Portable ECG system design using the AD8232 microchip and open-source platform

M Bravo-Zanoguera, D Cuevas-González… - Proceedings, 2019 - mdpi.com
This paper presents the design of a portable electrocardiograph (ECG) device using the
AD8232 microchip as the analog front-end (AFE). Starting with the manufacturer's evaluation …

Coloured Petri nets for abstract test generation in software engineering

Á Sobrinho, I Almeida, LD da Silva… - Software Testing …, 2023 - Wiley Online Library
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 …

Coloured petri nets-based modeling and validation of insulin infusion pump systems

T Fernandes Costa, Á Sobrinho, L Chaves e Silva… - Applied Sciences, 2022 - mdpi.com
Safety and effectiveness are crucial quality attributes for insulin infusion pump systems.
Therefore, regulatory agencies require the quality evaluation and approval of such systems …

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

JIF Júnior, Á Sobrinho, LD Silva, P Cunha… - The Journal of …, 2024 - Springer
Biomedical signal acquisition devices (eg, Electrocardiography—ECG) are relevant for
diagnosing and monitoring persons who have developed a variety of diseases, such as …

[PDF][PDF] 基于FPGA 的自适应信号采集系统

石勇, 陈宝, 蒲永材 - 兵工自动化, 2020 - bgzdh.cnjournals.com
为解决信号采集系统需要手动设置触发模式, 触发电平的问题, 设计一种基于FPGA (field
programmable gate array) 的自适应信号采集系统. 根据基于FPGA 的自适应信号采集系统的 …

Provision and Collection of Safety Evidence: A Systematic Literature Review

LM de Oliveira, LEG Martins… - Revista de Informática …, 2023 - seer.ufrgs.br
Abstract Safety-Critical Systems (SCS) are becoming more and more present in modern
societies' daily lives, increasing people's dependence on them. Current SCS are firmly …

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

EM de Miranda Vasconcellos… - Iecon 2019-45th …, 2019 - ieeexplore.ieee.org
Bio-medical signal acquisition systems (or simply bio-medical systems) are commonly used
during the diagnosis, monitoring, and treatment of patients. The Electrocardiograph (ECG) is …

Modeling and simulation of signal acquisition system based on inhibitor arcs hierarchical coloured Petri nets: Taking dust signal acquisition system as an example

S Zhao, J Li, M Tan, C Xu… - 2020 IEEE 9th Data Driven …, 2020 - ieeexplore.ieee.org
The development of existing signal acquisition systems has long-term and high-cost
problems. To deal with such situation, this paper takes the dust signal acquisition system as …