A simulation approach to certify electrocardiography devices
作者： Alvaro Sobrinho , Paulo Cunha , Leandro Dias da Silva , Angelo Perkusich , Thiago Cordeiro
DOI: 10.1109/HEALTHCOM.2015.7454478
关键词: Formal methods 、 Simulation 、 MATLAB 、 Dependability 、 Context (language use) 、 Software 、 Quality (business) 、 Noise (video) 、 Computer science 、 Process (computing)
摘要: Electrocardiography (ECG) devices record the heart's electrical activity. These can be part of e-Health systems used to diagnose, treat, and monitor patients with cardiovascular diseases. Manufacturers must show regulatory agencies effectiveness during certification process. Nowadays, simulators are test calibrate ECG devices. Besides, manufacturers use formal methods specify device requirements increase dependability. In this context, it is necessary validate models provide confidence in specification. Validations performed comparing physical using same data generated from simulators. However, available market do not enable one control amplitude frequency signals. This makes difficult into We present paper an open low cost simulator The generates signals digitized characteristic noise waveforms. analyzed quality qualitatively MATLAB Proteus software.
sci-hub.se 参考文章(16)
Lun-De Liao, Shang-Lin Wu, Chang-Hong Liou, Shao-Wei Lu, Shi-An Chen, Sheng-Fu Chen, Li-Wei Ko, Chin-Teng Lin, A Novel 16-Channel Wireless System for Electroencephalography Measurements With Dry Spring-Loaded Sensors IEEE Transactions on Instrumentation and Measurement. ,vol. 63, pp. 1545- 1555 ,(2014) , 10.1109/TIM.2013.2293222
Nassim Ravanshad, Hamidreza Rezaee-Dehsorkh, Reza Lotfi, Yong Lian, A Level-Crossing Based QRS-Detection Algorithm for Wearable ECG Sensors IEEE Journal of Biomedical and Health Informatics. ,vol. 18, pp. 183- 192 ,(2014) , 10.1109/JBHI.2013.2274809
Zhou Wang, A.C. Bovik, Mean squared error: Love it or leave it? A new look at Signal Fidelity Measures IEEE Signal Processing Magazine. ,vol. 26, pp. 98- 117 ,(2009) , 10.1109/MSP.2008.930649
Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian Goldman, Insup Lee, Model-Driven Safety Analysis of Closed-Loop Medical Systems IEEE Transactions on Industrial Informatics. ,vol. 10, pp. 3- 16 ,(2014) , 10.1109/TII.2012.2226594
Homa Alemzadeh, Ravishankar K. Iyer, Zbigniew Kalbarczyk, Jai Raman, Analysis of Safety-Critical Computer Failures in Medical Devices ieee symposium on security and privacy. ,vol. 11, pp. 14- 26 ,(2013) , 10.1109/MSP.2013.49
Li-jun Liu, Zong-qiang Li, Design and simulation of LED clock circuit based on Proteus international conference on computer, mechatronics, control and electronic engineering. ,vol. 6, pp. 315- 316 ,(2010) , 10.1109/CMCE.2010.5609852
Alvaro Alvares de C. C. Sobrinho, Biomedical signal acquisition systems: Towards a hybrid methodology for certification-based development international conference on industrial informatics. pp. 799- 802 ,(2014) , 10.1109/INDIN.2014.6945617
Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Paulo Cunha, Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system 2014 12th IEEE International Conference on Industrial Informatics (INDIN). pp. 221- 226 ,(2014) , 10.1109/INDIN.2014.6945511
Dominique Méry, Neeraj Kumar Singh, None, Formal Specification of Medical Systems by Proof-Based Refinement ACM Transactions in Embedded Computing Systems. ,vol. 12, pp. 15- ,(2013) , 10.1145/2406336.2406351
Arjen Hommersom, Peter J.F. Lucas, Marina Velikova, Giso Dal, Joaquim Bastos, Jonathan Rodriguez, Marleen Germs, Henk Schwietert, MoSHCA - my mobile and smart health care assistant international conference on e-health networking, applications and services. pp. 188- 192 ,(2013) , 10.1109/HEALTHCOM.2013.6720664