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

There exists a growing need for automated interoperability among medical devices in modern healthcare systems. This requirement is not just for convenience, but to prevent the possibility of errors due to the complexity of interactions between the devices and human operators. Hence, a system supporting such interoperability is supposed to provide the means to interconnect distributed medial devices in an open space, so must be designed to account for network failures. In this paper, we introduce a generic framework, the Network-Aware Supervisory System (NASS) to integrate medical devices into such a clinical interoperability system that uses real networks. It provides a development environment, in which medical-device supervisory logic can be developed based on the assumptions of an ideal, robust network. A case study shows that the NASS framework provides the same procedural effectiveness as the original logic based on the ideal network model but with protection against real-world network failures.

[1]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[2]  Insup Lee,et al.  Timed Atomic Commitment , 1991, IEEE Trans. Computers.

[3]  Nancy G. Leveson,et al.  An investigation of the Therac-25 accidents , 1993, Computer.

[4]  M. Shayman,et al.  Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation , 1997 .

[5]  Laurence B. Milstein,et al.  Error statistics in data transmission over fading channels , 1998, IEEE Trans. Commun..

[6]  R.S. Parker,et al.  A model-based algorithm for blood glucose control in Type I diabetic patients , 1999, IEEE Transactions on Biomedical Engineering.

[7]  Insup Lee,et al.  Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System , 2003, International Journal on Software Tools for Technology Transfer.

[8]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

[9]  Rance Cleaveland,et al.  Unit verification: the CARA experience , 2004, International Journal on Software Tools for Technology Transfer.

[10]  V. Chandra,et al.  A discrete event systems approach to network fault management: detection & diagnosis of faults , 2004, Proceedings of the 2004 American Control Conference.

[11]  Raoul Praful Jetley,et al.  A formal methods approach to medical device review , 2006, Computer.

[12]  Xue Liu,et al.  Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm , 2005, IEEE Transactions on Mobile Computing.

[13]  Insup Lee,et al.  A Verifiable Language for Programming Real-Time Communication Schedules , 2007, IEEE Transactions on Computers.

[14]  Insup Lee,et al.  Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project , 2007, 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007).

[15]  T. Falck,et al.  Novel ISO/IEEE 11073 Standards for Personal Telehealth Systems Interoperability , 2007, 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007).

[16]  Stéphane Lafortune,et al.  On decentralized and distributed control of partially-observed discrete event systems , 2007 .

[17]  S. Seyedtabaii,et al.  Kalman Filter Based Adaptive Reduction of Motion Artifact from Photoplethysmographic Signal , 2008 .

[18]  Panos J. Antsaklis,et al.  Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays , 2008, 2008 Real-Time Systems Symposium.

[19]  High-Confidence Medical Devices : Cyber-Physical Systems for 21 st Century Health Care , 2009 .

[20]  Xiaokang Qiu,et al.  A Formal Architecture Pattern for Real-Time Distributed Systems , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[21]  Steve Warren,et al.  An open test bed for medical device integration and coordination , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.