A framework for the safe interoperability of medical devices in the presence of network failures

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10

Volumn , Issue , 2010, Pages 149-158

  Kim, Cheolgi ^a   Sun, Mu ^a   Mohan, Sibin ^a   Yun, Heechul ^a   Sha, Lui ^a   Abdelzaher, Tarek F ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DEVELOPMENT ENVIRONMENT; GENERIC FRAMEWORKS; HEALTH-CARE SYSTEM; HUMAN OPERATOR; IDEAL NETWORK; MEDICAL DEVICES; NETWORK FAILURE; OPEN SPACE; REAL NETWORKS; REAL-WORLD NETWORKS; ROBUST NETWORK; SUPERVISORY LOGIC; SUPERVISORY SYSTEMS;

BIOMEDICAL ENGINEERING;

INTEROPERABILITY;

EID: 77954615585     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1795194.1795215     Document Type: Conference Paper

References (25)

1. A. Al-Nayeem, M. Sun, X. Qiu, L. Sha, S. P. Miller, and D. D. Cofer. A Formal Architecture Pattern for Real-time Distributed Systems. In IEEE RTSS, 2009.
2. R. Alur, D. Arney, E. L. Gunter, I. Lee, J. Lee, W. Nam, F. Pearce, S. V. Albert, and J. Zhou. Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. International Journal in Software Tools for Technology Transfer, 4, 2004.
3. D. Arney, R. Jetley, P. Jones, I. Lee, and O. Sokolsky. Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project. In Proc. of Joint Workshop on HCMDSS-MDPnP, Jun. 2007.
4. S. Bhattacharyya, Z. Huang, V. Chandra, and R. Kumar. A Discrete Event Systems Approach to Network Fault Management: Detection & Diagnosis of Faults. In Proc. of American Control Conference, 2004.
5. R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya. Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control, 33(3):249-260, 1988. (Pubitemid 18612044)
6. S. B. Davidson, I. Lee, and V. Wolfe. Timed Atomic Commitment. IEEE Transactions on Computers, 40(5), May 1991.
7. S. Fischmeister, O. Sokolsky, and I. Lee. A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. on Comp., 56(11), Nov. 2007.
8. J. Goldmann. Medical Device Interoperability to Enable System Solutions at the Sharp Edge of Healthcare Delivery. White House Homeland Security Council Biodefense Directorate Conference presentation, Apr. 2009.
9. J. Goldmann. 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. ASTM 2761-2009, 2009.
10. H. Grades. Fourth Annual Patient Safety in American Hospitals Study, 2007.
11. 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, NITRD, Feb. 2009.
12. R. Jetley, S. P. Iyer, and P. L. Jones. A Formal Methods Approach to Medical Device Review. IEEE Computer, 39(4), Apr. 2006.
13. A. King and et. al. An Open Test Bed for Medical Device Integration and Coordination. Technical report, Kansas State University, 2008.
14. N. Kottenstette, X. Koutsoukos, J. Hall, J. Sztipanovits, and P. Antsaklis. Passivity-based design of wireless networked control systems for robustness to time-varying delays. In Proc. of IEEE RTSS, Nov. 2008.
15. R. Kumar and M. A. Shayman. Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation. SIAM Journal of Control and Optimization, 35(2):363-383, Mar. 1997. (Pubitemid 127577125)
16. S. Lafortune. On Decentralized and Distributed Control of Partially-Observed Discrete Event Systems. LNCIS, 353:171-184, 2007.
17. N. Leveson and C. Turner. An Investigation of the Therac-25 Accidents. IEEE Computer, 26(7):18-41, July 1993.
18. A. Marcus. Once a Tech Fantasy, Plug-and-Play OR Edges Closer to Reality. Anesthesiology News, 33(1), Jan. 2007.
19. R. S. Parker, I. Francis J. Doyle, and N. A. Peppas. A Model-Based Algorithm for Blood Glucose Control in Type I Diabetic Patients. IEEE Transactions on Biomedical Engineering, 46(2):148-157, Feb. 1999.
20. A. Ray and R. Cleaveland. Unit verification: the CARA experience. International Journal on Software Tools for Technology Transfer, 2004.
21. L. Schmitt, T. Falck, F. Wartena, and D. Simons. Novel ISO/IEEE 11073 Standards for Personal Telehealth Systems Interoperability. In Proc. of Joint Workshop on HCMDSS-MDPnP, 2007.
22. S. Seyedtabaii and L. Seyedtabaii. Kalman Filter Based Adaptive Reduction of Motion Artifact from Photoplethysmographic Signal. Proceedings of World Academy of Science, Engineering and Technology, 27, Feb. 2008.
23. Q. Wang, X. Liu, C. Weiqun, L. Sha, and M. Caccamo. Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm. IEEE Transactions on Mobile Computing, 6(6), June 2007.
24. S. H. Zad, R. H. Kwong, and W. M. Wonham. Fault diagnosis in discrete-event systems: Framework and model reduction. IEEE Transactions on Automatic Control, 48(7):1199-1212, Jul. 2003.
25. M. Zorzi, R. R. Rao, and L. B. Milstein. Error statistics in data transmission over fading channels. IEEE Transactions on Communications, 46(11):1468-1477, Nov. 1998.