Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study

作者: Sidharta Andalam , Partha Roop , Avinash Malik , Mark Trew

DOI: 10.1109/ISORC.2018.00027

关键词:

摘要: Existing techniques for validation of implantable medical devices such as pacemakers are heavily dependent on expensive and timeconsuming clinical trials where the sample size is small may not represent variance in a larger population. To address this problem, bio-engineering researchers have proposed various high fidelity models that used non real-time simulation. More recently, computer science (CS) developed more abstract amenable (hardware-in-theloop validation), but fail to exhibit appropriate dynamic responses. In general, challenge remains how develop organ they capture behaviour while maintaining response. paper, we present generic step-by-step methodology can aid who modelling organs devices. The goal paper help: (1) introduce CS steps involved extracting executable from (2) bio-engineers emulation available hardware platforms synthesising models.

参考文章(21)
Rahul Mangharam, Zhihao Jiang, Sriram Radhakrishnan, Varun Sampath, Shilpa Sarode, Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers ,(2014)
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
Jasmin Fisher, Thomas A Henzinger, Executable cell biology. Nature Biotechnology. ,vol. 25, pp. 1239- 1249 ,(2007) , 10.1038/NBT1356
William H Maisel, Michael O Sweeney, William G Stevenson, Kristin E Ellison, Laurence M Epstein, Recalls and Safety Alerts Involving Pacemakers and Implantable Cardioverter-Defibrillator Generators JAMA. ,vol. 286, pp. 793- 799 ,(2001) , 10.1001/JAMA.286.7.793
Christos Strydis, Zaid Al-Ars, Georgios Smaragdos, H. A. Du Nguyen, Accelerating complex brain-model simulations on GPU platforms design, automation, and test in europe. pp. 974- 979 ,(2015) , 10.5555/2755753.2757040
P. Ye, S.A. Smolka, E. Entcheva, R. Grosu, Modelling excitable cells using cycle-linear hybrid automata Iet Systems Biology. ,vol. 2, pp. 24- 32 ,(2008) , 10.1049/IET-SYB:20070001
David E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey S. Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, J. P. Grossman, C. Richard Ho, Douglas J. Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang, Anton, a special-purpose machine for molecular dynamics simulation Communications of the ACM. ,vol. 51, pp. 91- 97 ,(2008) , 10.1145/1364782.1364802
George Ralph Mines, On dynamic equilibrium in the heart The Journal of Physiology. ,vol. 46, pp. 349- 383 ,(1913) , 10.1113/JPHYSIOL.1913.SP001596
Zhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam, Closed-loop verification of medical devices with model abstraction and refinement International Journal on Software Tools for Technology Transfer. ,vol. 16, pp. 191- 213 ,(2014) , 10.1007/S10009-013-0289-7