Challenges and research directions in medical cyber-physical systems

Proceedings of the IEEE

Volumn 100, Issue 1, 2012, Pages 75-90

  Lee, Insup ^a   Sokolsky, Oleg ^a   Chen, Sanjian ^a   Hatcliff, John ^b   Jee, Eunkyoung ^c   Kim, Baekgyu ^a   King, Andrew ^a   Mullen Fortino, Margaret ^d   Park, Soojin ^d   Roederer, Alexander ^a   Venkatasubramanian, Krishna K ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b Sunflower Networking Group   (United States)

^c Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^d HOSPITAL OF THE UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Closed loop physiological control; cyber physical systems (CPSs); design challenges; medical device systems; model based design

Indexed keywords

CYBER PHYSICAL SYSTEM; EMBEDDED SYSTEMS; PHYSIOLOGICAL MODELS;

CYBER PHYSICAL SYSTEMS (CPSS); DESIGN CHALLENGES; MEDICAL DEVICES; MODEL- BASED DESIGNS; PHYSIOLOGICAL CONTROL;

CLOSED LOOP CONTROL SYSTEMS;

EID: 84155167716     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2011.2165270     Document Type: Article

References (67)

1. American Diabetes Association, accessed Jun. 15, 2011. [Online]. Available: http://www.diabetes.org/living-with-diabetes/treatment-and-care/ blood-glucose-control/tight-diabetes-control.html
2. Laerdal SimMan, Jun. 17, 2011. [Online]. Available: http://www.laerdal. com/us/doc/86/SimMan
3. M. J. Ackerman, L. P. Burgess, R. Filart, I. Lee, and R. K. Poropatich, "Developing next generation telehealth tools and technologies: Patients, systems, and data perspectives," Telemedicine and e-Health, vol. 16, no. 1, pp. 93-95, Jan./Feb. 2010.
4. ASCADVThe Adelard Safety Case Development (ASCAD) Manual, Adelard, 1998.
5. K. Alexander and P. Clarkson, "Good design practice for medical devices and equipmentVPart II: Design for verification," J. Med. Eng. Technol., vol. 24, no. 2, pp. 53-62, 2000. (Pubitemid 30496602)
6. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, "TIMES: A tool for schedulability analysis and code generation of real-time systems," in Proc. 1st Int. Workshop Formal Modeling Anal. Timed Syst. (FORMATS 2003), 2003, pp. 60-72. (Pubitemid 38716863)
7. D. Arney, M. Pajic, J. Goldman, I. Lee, R. Mangharam, and O. Sokolsky, "Toward patient safety in closed-loop medical device systems," in Proc. 1st Int. Conf. Cyber-Physical Syst., Apr. 2010, DOI: 10.1145/1795194. 1795214.
8. D. Arney, K. Venkatasubramanian, O. Sokolsky, and I. Lee, "Biomedical devices and systems security," in Proc. 33rd Annu. Int. Conf. IEEE Eng. Med. Biol. Soc., 2011.
9. U. Becker, "Model-based development of medical devices," Proc. Workshop Comput. Safety, Reliability, Security (SAFECERT '09), vol. 5775. Berlin, Germany: Springer-Verlag, 2009, pp. 4-17, ser. Lecture Notes in Computer Science.
10. G. Behrmann, A. David, and K. Larsen, "A tutorial on UPPAAL," Formal Methods for the Design of Real-Time Systems (Revised Lectures), vol. 3185. Berlin, Germany: Springer-Verlag, 2004, pp. 200-237, ser. Lecture Notes in Computer Science.
11. M. Borowski, M. Görges, R. Fried, O. Such, C. Wrede, and M. Imhoff, "Medical device alarms," Biomed. Tech., vol. 56, pp. 73-83, 2011.
12. B. P. Kovatchev, M. Breton, C. D. Man, and C. Cobelli, "In silico preclinical trials: A proof of concept in closed-loop control of type 1 diabetes," Diabetes Sci. Technol., vol. 3, no. 1, pp. 44-55, 2009.
13. J. H. Burton, J. D. Harrah, C. A. Germann, and D. C. Dillon, "Does end-tidal carbon dioxide monitoring detect respiratory events prior to current sedation monitoring practices?" Acad. Emergency Med., vol. 13, pp. 500-504, May 2006. (Pubitemid 44316642)
14. M.-C. Chambrin, "Alarms in the intensive care unit: How can the number of false alarms be reduced?" Critical Care, vol. 5, pp. 184-188, 2001. (Pubitemid 32734333)
15. S. Charbonnier and S. Gentil, "A trend-based alarm system to improve patient monitoring in intensive care units," Control Eng. Practice, vol. 15, no. 9, pp. 1039-1050, Sep. 2007. (Pubitemid 46712147)
16. G. Clifford, W. Long, G. Moody, and P. Szolovits, "Robust parameter extraction for decision support using multimodal intensive care data," Philosoph. Trans. Roy. Soc. A, Math. Phys. Eng. Sci., vol. 367, pp. 411-429, 2009.
17. Clinical Alarms Task Force, "Impact of clinical alarms on patient safety," J. Clin. Eng., vol. 32, no. 1, pp. 22-33, 2007.
18. D. Bruttomesso, A. Farret, S. Costa, M. C. Marescotti, M. Vettore, A. Avogaro, A. Tiengo, C. Man, J. Place, A. Facchinetti, S. Guerra, L. Magni, G. Nicolao, C. Cobelli, E. Renard, and A. Maran, "Closed-loop artificial pancreas using subcutaneous glucose sensing and insulin delivery and a model predictive control algorithm: Preliminary studies in Padova and Montpellier," Diabetes Sci. Technol., vol. 3, no. 5, pp. 1014-1021, 2009.
19. T. Denning, K. Fu, and T. Kohno, "Absence makes the heart grow fonder: New directions for implantable medical device security," in Proc. 3rd Conf. Hot Topics Security, 2008, pp. 5:1-5:7.
20. Y. Donchin and F. J. Seagull, "The hostile environment of the intensive care unit," Current Opinion Critical Care, vol. 8, pp. 316-320, 2002.
21. J. Edworthy and E. Hellier, "Alarms and human behaviour: Implications for medical alarms," British J. Anaesthesia, vol. 97, pp. 12-17, 2006.
22. Evidence-Based Medicine Working Group, "Evidence-based medicine. A new approach to teaching the practice of medicine," J. Amer. Med. Assoc., vol. 268, pp. 2420-2425, 1992.
23. J. M. Feldman and M. H. Ebrahim, "Robust sensor fusion improves heart rate estimation: Clinical evaluation," J. Clin. Monitor. Comput., vol. 13, pp. 379-384, 1997.
24. N. Ferguson, B. Schneier, and T. Kohno, Cryptography Engineering: Design Principles and Practical Applications. New York: Wiley, 2010.
25. A. X. Garg, N. K. J. Adhikari, H. McDonald, M. P. Rosas-Arellano, P. J. Devereaux, J. Beyene, J. Sam, and R. B. Haynes, "Effects of computerized clinical decision support systems on practitioner performance and patient outcomes: A systematic review," J. Amer. Med. Assoc., vol. 293, pp. 1223-1238, 2005. (Pubitemid 40327908)
26. J. Goldman, R. Schrenker, J. Jackson, and S. Whitehead, "Plug-and-play in the operating room of the future," Biomed. Instrum. Technol., vol. 39, no. 3, pp. 194-199, 2005. (Pubitemid 40769312)
27. D. Halperin, T. Heydt-Benjamin, K. Fu, T. Kohno, and W. Maisel, "Security and privacy for implantable medical devices," Perv. Comput., vol. 7, no. 1, pp. 30-39, Jan.-Mar. 2008.
28. M. B. Happ, "Treatment interference in acutely and critically ill adults," Amer. J. Critical Care, vol. 7, no. 3, pp. 224-235, May 1998. (Pubitemid 128460538)
29. J. Hatcliff, E. Vasserman, S. Weininger, and J. Goldman, "An overview of regulatory and trust issues for the integrated clinical environment," in Proc. 3rd Joint Workshop High Confidence Med. Devices, Software, Syst. Med. Device Plug-and-Play Interoperability (HCMDSS/MDPnP 2011), 2011, pp. 1-10.
30. R. W. Hicks, V. Sikirica, W. Nelson, J. R. Schein, and D. D. Cousins, "Medication errors involving patient-controlled analgesia," Amer. J. Health-Syst. Pharmacy, vol. 65, no. 5, pp. 429-440, Mar. 2008. (Pubitemid 351358345)
31. High Confidence Software and Systems Coordinating Group, "High-confidence medical devices: Cyber-physical systems for 21st century health care. A research and development needs report," NCO/NITRD, Feb. 2009.
32. D. L. Hunt, R. B. Haynes, S. E. Hanna, and K. Smith, "Effects of computerized clinical decision support systems on physician performance and patient outcomes: A systematic review," J. Amer. Med. Assoc., vol. 280, pp. 1339-1346, 1998. (Pubitemid 28473723)
33. M. Imhoff and R. Fried, "The crying wolf: Still crying?" Anesthesia Analgesia, vol. 108, no. 5, pp. 1382-1383, 2009.
34. M. Imhoff and S. Kuhls, "Alarm algorithms in critical care monitoring," Anesthesia Analgesia, vol. 102, no. 5, pp. 1525-1536, 2006.
35. M. Imhoff, S. Kuhls, U. Gather, and R. Fried, "Smart alarms from medical devices in the OR and ICU," Best Practice Res. Clin. Anaesthesiol., vol. 23, no. 1, pp. 39-50, 2009.
36. D. Jackson, M. Thomas, and L. I. Millett, Eds., "Software for dependable systems: Sufficient evidence?" Committee on Certifiably Dependable Software Systems, National Research Council, National Academies Press, New York, May 2007.
37. E. Jee, I. Lee, and O. Sokolsky, "Assurance cases in model-driven development of the pacemaker software," Proc. Int. Symp. Leveraging Appl. Formal Methods, Verification, Validation (ISoLA 2010), vol. 6416. Berlin, Germany: Springer-Verlag, Oct. 2010, pp. 343-356, ser. Lecture Notes in Computer Science.
38. E. Jee, S. Wang, J. K. Kim, J. Lee, O. Sokolsky, and I. Lee, "A safety-assured development approach for real-time software," in Proc. 16th IEEE Int. Conf. Embedded Real-Time Comput. Syst. Appl., Aug. 2010, pp. 133-142.
39. R. P. Jetley and P. L. Jones, "Safety requirements based analysis of infusion pump software," Proc. Workshop Softw. Syst. Med. Devices Services, held in conjunction with IEEE Real Time Syst. Symp., Tucson, AZ, pp. 21-24, Dec. 2007.
40. Z. Jin, J. Oresko, S. Huang, and A. C. Cheng, "HeartToGo: A personalized medicie technology for cardiovascular disease prevention and detection," in Proc. IEEE/NIH Life Sci. Syst. Appl. Workshop, 2009, pp. 80-83.
41. K. E. Anger and P. M. Szumita, "Barriers to glucose control in the intensive care unit," Pharmacotherapy, vol. 26, no. 2, pp. 214-228, 2006. (Pubitemid 43201869)
42. B. Kim, A. Ayoub, O. Sokolsky, and I. Lee, "The safety-assured development of the GPCA infusion pump," Proc. Int. Conf. Embedded Softw. (EMSOFT 2011), Taipei, Taiwan, Oct. 2011, (To Appear).
43. A. King, D. Arney, I. Lee, O. Sokolsky, J. Hatcliff, and S. Procter, "Prototyping closed loop physiologic control with the medical device coordination framework," in Proc. ICSE Workshop Softw. Eng. Health Care, 2010, DOI: 10.1145/1809085.1809086.
44. A. King, S. Procter, D. Andresen, J. Hatcliff, S. Warren, W. Spees, R. P. Jetley, P. L. Jones, and S. Weininger, "An open test bed for medical device integration and coordination," in Proc. Int. Conf. Softw. Eng. Companion Volume, May 2009, pp. 141-151.
45. A. L. King, A. Roederer, D. Arney, S. Chen, M. Fortino-Mullen, A. Giannareas, W. Hanson, III, V. Kern, N. Stevens, J. Tannen, A. V. Trevino, S. Park, O. Sokolsky, and I. Lee, "GSA: A framework for rapid prototyping of smart alarm systems," in Proc. 1st ACM Int. Health Inf. Symp., 2010, pp. 487-491.
46. L. Magni, D. M. Raimondo, L. Bossi, C. D. Man, G. Nicolao, B. Kovatchev, and C. Cobelli, "Model predictive control of type 1 diabetes: An in silico trial," Diabetes Sci. Technol., vol. 1, no. 6, pp. 804-812, 2007.
47. L. A. Lynn and J. P. Curry, "Patterns of unexpected in-hospital deaths: A root cause analysis," Patient Safety in Surgery, p. 5, 2011.
48. J. X. Mazoit, K. Butscher, and K. Samii, "Morphine in postoperative patients: Pharmacokinetics and pharmacodynamics of metabolites," Anesthesia Analgesia, vol. 105, no. 1, pp. 70-78, 2007. (Pubitemid 46975850)
49. M. Mullen-Fortino and N. O'Brien, "Caring for a patient after coronary artery bypass graft surgery," Nursing, vol. 38, no. 3, pp. 46-52, Mar. 2008.
50. C. Mundt, K. N. Montgomery, U. E. Udoh, V. N. Barker, G. C. Thonier, A. M. Tellier, R. D. Ricks, R. B. Darling, Y. D. Cagle, N. A. Cabrol, S. J. Ruoss, J. L. Swain, J. Hines, and G. T. A. Kovacs, "A multiparameter wearable physiological monitoring system for space and terrestrial applications," IEEE Trans. Inf. Technol. Biomed., vol. 9, no. 3, pp. 382-391, Sep. 2005. (Pubitemid 41388204)
51. T. K. Nuckols, A. G. Bower, S. M. Paddock, L. H. Hilborne, P. Wallace, J. M. Rothschild, A. Griffin, R. J. Fairbanks, B. Carlson, R. J. Panzer, and R. H. Brook, "Programmable infusion pumps in ICUs: An analysis of corresponding adverse drug events," J. Gen. Internal Med., vol. 23, no. Supplement 1, pp. 41-45, Jan. 2008. (Pubitemid 350295399)
52. C. Oberli, C. Saez, A. Cipriano, G. Lema, and C. Sacco, "An expert system for monitor alarm integration," J. Clin. Monitor. Comput., vol. 15, pp. 29-35, 1999. (Pubitemid 29231665)
53. S. Park, A. Roederer, R. Mani, S. Schmitt, P. D. LeRoux, L. H. Ungar, I. Lee, and S. E. Kasner, "Limitations of threshold-based brain oxygen monitoring for seizure detection," Neurocritical Care, Apr. 2011.
54. R. Hovorka, V. Canonico, L. J. Chassin, U. Haueter, M. Massi-Benedetti, M. Federici, T. R. Pieber, H. C. Schaller, L. Schaupp, T. Vering, and M. E. Wilinska, "Nonlinear model predictive control of glucose concentration in subjects with type 1 diabetes," Physiol. Meas., vol. 25, no. 4, pp. 905-920, Aug. 2004. (Pubitemid 39121173)
55. M. D. Rienzo, F. Rizzo, G. Parati, G. Brambilla, M. Ferratini, and P. Castiglioni, "Magic system: A new textile-based wearable device for biological signal monitoring applicability in daily life and clinical setting," in Proc. 27th Annu. Int. Conf. IEEE Eng. Med. Biol. Soc., 2005, pp. 7167-7169. (Pubitemid 46230633)
56. J. Rushby, "Runtime certification," in Runtime Verification, vol. 5289, M. Leucker, Ed. Berlin, Germany: Springer-Verlag, 2008, pp. 21-35.
57. D. L. Sackett and W. M. C. Rsenberg, "The need for evidence-based medicine," J. Roy. Soc. Med., vol. 88, pp. 620-624, 1995.
58. R. Schoenberg, D. Z. Sands, and C. Safran, "Making ICU alarms meaningful: A comparison of traditional vs. trend-based algorithms," in Proc. Amer. Med. Inf. Assoc. Symp., 1999, pp. 379-383.
59. E. H. Shortliffe, B. G. Buchanan, and E. A. Feigenbaum, "Knowledge engineering for medical decision making: A review of computer-based clinical decision aids," Proc. IEEE, vol. 67, no. 9, pp. 1207-1224, Sep. 1979. (Pubitemid 9244874)
60. S. Siebig, L. Juhls, M. Imhoff, U. Gather, U. Scholmerich, and C. Wrede, "Plug-and-play for medical devices: Experiences from a case study," Crit. Care Med., vol. 38, no. 2, pp. 451-455, 2010.
61. Pacemaker Formal Methods Challenge, Software Quality Research Laboratory, McMaster University, Hamilton, ON, Canada, accessed Jun. 6, 2011. [Online]. Available: http://sqrl.mcmaster.ca/pacemaker.htm.
62. M. Sung, C. Marci, and A. Pentland, "Wearable feedback systems for rehabilitation," J. NeuroEng. Rehabil., p. 2, Jun. 2005.
63. U.S. Food and Drug Administration, Center for Devices and Radiological Health, Infusion Pump Improvement Initiative, White Paper, Apr. 2010.
64. K. Venkatasubramanian, S. K. S. Gupta, R. P. Jetley, and P. L. Jones, "Interoperable medical devices," IEEE Pulse, vol. 1, no. 2, pp. 16-27, Sep./Oct. 2010.
65. K. J. Vicente, K. Kada-Bekhaled, G. Hillel, A. Cassano, and B. A. Orser, "Programming errors contribute to death from patient-controlled analgesia: Case report and estimate of probability," Can. J. Anesthesiol., vol. 50, no. 4, pp. 328-332, 2003. (Pubitemid 36748629)
66. A. Wassyng, T. Maibaum, M. Lawford, and H. Bherer, "Software certification: Is there a case against safety-cases," Proc.Workshop Modeling, Development, Verification Adaptive Comput. Syst., vol. 6662. Berlin, Germany: Springer-Verlag, Apr. 2010, pp. 206-227, ser. Lecture Notes in Computer Science.
67. A. Wood, G. Virone, T. Doan, Q. Cao, L. Selavo, Y. Wu, L. Fang, Z. He, S. Lin, and J. Stankovic, "Alarm-net: Wireless sensor networks for assisted-living and residential monitoring," Dept. Comput. Sci., Univ. Virginia, Charlottesville, VA, Tech. Rep. CS-2006-11, 2006.