research-article

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

Authors:

Tarek F. AbdelzaherAuthors Info & Claims

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

Pages 149 - 158

https://doi.org/10.1145/1795194.1795215

Published: 13 April 2010 Publication History

Abstract

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.

References

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Cited By

Bae KÖlveczky P(2024)Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADLFormal Aspects of Component Software10.1007/978-3-031-52183-6_7(127-152)Online publication date: 13-Jan-2024
https://doi.org/10.1007/978-3-031-52183-6_7
Padmanabhan M(2022)Rapid medical guideline systems for COVID-19 using database-centric modeling and validation of cyber-physical systemsCyber-Physical Systems10.1016/B978-0-12-824557-6.00012-1(161-170)Online publication date: 2022
https://doi.org/10.1016/B978-0-12-824557-6.00012-1
Lee JBae KÖlveczky PKim SKang M(2022)Modeling and formal analysis of virtually synchronous cyber-physical systems in AADLInternational Journal on Software Tools for Technology Transfer10.1007/s10009-022-00665-z24:6(911-948)Online publication date: 3-Sep-2022
https://doi.org/10.1007/s10009-022-00665-z
Show More Cited By

Recommendations

Moving Toward Semantic Interoperability of Medical Devices
HCMDSS-MDPNP '07: Proceedings of the 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability

NIST researchers are collaborating with medical device experts to facilitate the development and adoption of standards for medical device communications throughout the healthcare enterprise as well as integrating it into the electronic health record. ...
Regulations Initiatives in France for the Interoperability of Communicating Medical Devices

Telemedicine has introduced new challenges in health delivery with the introduction of advanced information communication technologies in home care medicine. To meet the high standard of quality in health service delivery, the data flow of medical data ...
Analysis of Safety-Critical Computer Failures in Medical Devices

Malfunctioning medical devices are one of the leading causes of serious injury and death in the US. Between 2006 and 2011, 5,294 recalls and approximately 1.2 million adverse events were reported to the US Food and Drug Administration (FDA). Almost 23 ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

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

April 2010

208 pages

ISBN:9781450300667

DOI:10.1145/1795194

Conference Chairs:
Janos Sztipanovits,
Raj Rajkumar

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

IEEE-CS\TCRT: TC on Real-Time Systems
SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 April 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Funding Sources

Conference

ICCPS '10

Sponsor:

IEEE-CS\TCRT
SIGBED

ICCPS '10: ACM/IEEE 1st International Conference on Cyber-Physical Systems

April 13 - 15, 2010

Stockholm, Sweden

Acceptance Rates

Overall Acceptance Rate 25 of 91 submissions, 27%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

46
Total Citations
View Citations
512
Total Downloads

Downloads (Last 12 months)10
Downloads (Last 6 weeks)1

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bae KÖlveczky P(2024)Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADLFormal Aspects of Component Software10.1007/978-3-031-52183-6_7(127-152)Online publication date: 13-Jan-2024
https://doi.org/10.1007/978-3-031-52183-6_7
Padmanabhan M(2022)Rapid medical guideline systems for COVID-19 using database-centric modeling and validation of cyber-physical systemsCyber-Physical Systems10.1016/B978-0-12-824557-6.00012-1(161-170)Online publication date: 2022
https://doi.org/10.1016/B978-0-12-824557-6.00012-1
Lee JBae KÖlveczky PKim SKang M(2022)Modeling and formal analysis of virtually synchronous cyber-physical systems in AADLInternational Journal on Software Tools for Technology Transfer10.1007/s10009-022-00665-z24:6(911-948)Online publication date: 3-Sep-2022
https://doi.org/10.1007/s10009-022-00665-z
Lee JBae KÖlveczky P(2022)An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVsLeveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning10.1007/978-3-031-19759-8_4(47-64)Online publication date: 17-Oct-2022
https://doi.org/10.1007/978-3-031-19759-8_4
Bae KÖlveczky P(2021)MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical SystemsACM Transactions on Embedded Computing Systems10.1145/347703620:5s(1-26)Online publication date: 17-Sep-2021
https://dl.acm.org/doi/10.1145/3477036
Lee JKim SBae KÖlveczky P(2021)Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADLComputer Aided Verification10.1007/978-3-030-81685-8_23(491-504)Online publication date: 15-Jul-2021
https://doi.org/10.1007/978-3-030-81685-8_23
Guo CFu ZZhang ZRen SSha L(2020)A framework for supporting the development of verifiably safe medical best practice guideline systemsJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2019.101693104:COnline publication date: 1-Mar-2020
https://dl.acm.org/doi/10.1016/j.sysarc.2019.101693
Kozhaya DDecouchant JEsteves-Verissimo P(2019)RT-ByzCastIEEE Transactions on Computers10.1109/TC.2018.287144368:3(440-454)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1109/TC.2018.2871443
Guo CFu ZZhang ZRen SSha L(2019)Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With StatechartsIEEE Internet of Things Journal10.1109/JIOT.2018.28794756:4(6276-6284)Online publication date: Aug-2019
https://doi.org/10.1109/JIOT.2018.2879475
Raju MAhmed MAtiqur Rahman Ahad M(2019)Security Analysis and a Potential Layer to Layer Security Solution of Medical Cyber-Physical SystemsA Handbook of Internet of Things in Biomedical and Cyber Physical System10.1007/978-3-030-23983-1_3(61-86)Online publication date: 17-Jul-2019
https://doi.org/10.1007/978-3-030-23983-1_3
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten