Medical cyber physical systems

Proceedings - Design Automation Conference

Volumn , Issue , 2010, Pages 743-748

  Lee, Insup ^a   Sokolsky, Oleg ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Cyber physical systems; High confidence medical systems; Medical cyber physical systems; Medical device interoperability compositionality; Physiological closed loop

Indexed keywords

CLOSED LOOPS; CURRENT TRENDS; CYBER-PHYSICAL SYSTEMS; MEDICAL DEVICES; MEDICAL SYSTEMS; NETWORK CONNECTIVITY; NEW OPPORTUNITIES; RESEARCH AND DEVELOPMENT;

BIOMEDICAL ENGINEERING; INTEROPERABILITY; PATIENT MONITORING; PHYSIOLOGY;

COMPUTER AIDED DESIGN;

EID: 77956216385     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1837274.1837463     Document Type: Conference Paper

References (23)

1. 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, 16(1):93-95, Jan/Feb 2010.
2. K. Alexander and P. Clarkson. Good design practice for medical devices and equipment, Part II: design for verification. Journal of Medical Engineering & Technology, 24(2):53-62, 2000.
3. D. Arney, J. M. Goldman, S. F. Whitehead, and I. Lee. Synchronizing an x-ray and anesthesia machine ventilator: A medical device interoperability case study. In BIODEVICES 2009, pages 52 - 60, January 2009.
4. D. Arney, M. Pajic, J. Goldman, I. Lee, R. Mangharam, and O. Sokolsky. Toward patient safety in closed-loop medical device systems. In Proceedings of the 1st International Conference on Cyber-Physical Systems, Apr. 2010.
5. ASTM International. STAM F2761-2009. Medical Devices and Medical Systems - Essential Safety Requirements for Equipment Comprising the Patient-Centric Integrated Clinical Environment (ICE), Part 1: General Requirements and Conceptual Model, 2009.
6. J. Goldman, R. Schrenker, J. Jackson, and S. Whitehead. Plug-and-play in the operating room of the future. Biomedical Instrumentation and Technology, 39(3):194-199, 2005.
7. D. Halperin, T. Heydt-Benjamin, K. Fu, T. Kohno, and W. Maisel. Security and privacy for implantable medical devices. Pervasive Computing, 7(1):30-39, January-March 2008.
8. M. B. Happ. Treatment interference in acutely and critically ill adults. American Journal of Critical Care, 7(3):224-235, May 1998.
9. R. W. Hicks, V. Sikirica, W. Nelson, J. R. Schein, and D. D. Cousins. Medication errors involving patient-controlled analgesia. American Journal of Health-System Pharmacy, 65(5):429-440, March 2008.
10. 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, February 2009.
11. J. Hotchkiss, J. Robbins, and M. Robkin. MD-Adapt: A proposed architecture for open-source medical device interoperability. In Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP), pages 167-170, July 2007.
12. D. Jackson, M. Thomas, and L. I. Millett, editors. Software for Dependable Systems: Sufficient Evidence? National Academies Press, May 2007. Committee on Certifiably Dependable Software Systems, National Research Council.
13. 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 ICSE Companion, pages 141-151, May 2009.
14. I. Lee, G. J. Pappas, R. Cleaveland, J. Hatcliff, B. H. Krogh, P. Lee, H. Rubin, and L. Sha. High-confidence medical device software and systems. Computer, 39(4):33-38, April 2006.
15. A. S. Lofsky. Turn Your Alarms On. APSF Newsletter, 19(4):43, 2004.
16. J. X. Mazoit, K. Butscher, and K. Samii. Morphine in postoperative patients: Pharmacokinetics and pharmacodynamics of metabolites. Anesthesia and Analgesia, 105(1):70-78, 2007.
17. A. S. Morse. Supervisory control of families of linear set-point controllers - Part 2: Robustness. IEEE Transactions on Automatic Control, pages 1500-1515, Nov. 1997.
18. 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. Journal of General Internal Medicine, 23(Supplement 1):41-45, January 2008.
19. A. Rae, P. Ramanan, D. Jackson, and J. Flanz. Critical feature analysis of a radiotherapy machine. In International Conference of Computer Safety, Reliability and Security (SAFECOMP), Sept. 2003.
20. A. Sapirstein, N. Lone, A. Latif, J. Fackler, and P. J. Pronovost. Tele ICU: paradox or panacea? Best Practice & Research Clinical Anaesthesiology, 23(1):115-126, Mar. 2009.
21. M. Sheeran, S. Singh, and G. Stålmarck. Checking safety properties using induction and a sat-solver. In FMCAD '00: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, volume 1954 of LNCS, pages 108-125, 2000.
22. K. Venkatasubramanian and S. K. S. Gupta. Security for pervasive healthcare. In Y. Xiao, editor, Security in Distributed, Grid, Mobile, and Pervasive Computing, chapter 15, pages 443-464. CRC Press, Apr. 2007.
23. 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. Canadian Journal of Anesthesiology, 50(4):328-332, 2003.