research-article

A low complexity coordination architecture for networked supervisory medical systems

Authors:

Abdullah Al-Nayeem,

Richard B. Berlin, Jr.,

Julian M. GoldmanAuthors Info & Claims

ICCPS '13: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems

Pages 89 - 98

https://doi.org/10.1145/2502524.2502537

Published: 08 April 2013 Publication History

Abstract

Cooperating medical devices, envisioned by Integrated Clinical Environment (ICE) of Medical Device Plug-and-Play (MDPnP), is expected to improve the safety and the quality of patient care. To ensure safety, the cooperating medical devices must be thoroughly verified and tested. However, concurrent control of devices without proper coordination poses a significant challenge for the verification of the safety, since complex interaction patterns between devices might cause the explosion of the verification state space. In this paper, we propose a low-complexity coordination architecture and protocol for networked supervisory medical systems. The proposed architecture organizes the systems in a hierarchical and organ-based manner in accordance to human physiology and home-ostasis. Further, the proposed protocol avoids potential conflicts and unsafe controls, while allowing efficient concurrent operations of medical devices. The evaluation results show that our approach reduce the complexity by several orders of magnitude.

References

[1]

E. A. Lee, "Cyber physical systems: Design challenges," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-8, Jan 2008. {Online}. Available: http://www.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-8.html

[2]

J. Goldman, S. Whitehead, S. Weininger, and M. Rockville, "Eliciting clinical requirements for the medical device plug-and-play (MD PnP) interoperability program," Anesthesia & Analgesia, vol. 102, pp. S1--54, 2006.

[3]

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," draft ASTM TC F, vol. 29, 2009.

[4]

A. Valmari, "The state explosion problem," Lectures on Petri nets: advances in Petri nets, p. 429, 1998.

Digital Library

[5]

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 ACM/IEEE ICCPS. ACM, 2010.

Digital Library

[6]

C. Kim, M. Sun, S. Mohan, H. Yun, L. Sha, and T. Abdelzaher, "A framework for the safe interoperability of medical devices in the presence of network failures," in Proceedings of the 1st ACM/IEEE ICCPS. ACM, 2010, pp. 149--158.

Digital Library

[7]

M. Jacobs, J. Verdeja, H. Goldstein et al., "Minimally invasive colon resection (laparoscopic colectomy)." Surgical laparoscopy & endoscopy, vol. 1, no. 3, p. 144, 1991.

[8]

J. Moseley, K. O'Malley, N. Petersen, T. Menke, B. Brody, D. Kuykendall, J. Hollingsworth, C. Ashton, and N. Wray, "A controlled trial of arthroscopic surgery for osteoarthritis of the knee," New England Journal of Medicine, vol. 347, no. 2, pp. 81--88, 2002.

[9]

H. Yun, P. Wu, M. Rahmaniheris, C. Kim, and L. Sha, "A reduced complexity design pattern for distributed hierarchical command and control system," in Proceedings of the 1st ACM/IEEE ICCPS. ACM, 2010, pp. 42--49.

Digital Library

[10]

W. Kang, P. Wu, L. Sha, R. B. Berlin, and J. M. Goldman, "Towards safe and effective integration of networked medical devices using organ-based semi-autonomous hierarchical control," Tech. Rep., 2012. {Online}. Available: http://hdl.handle.net/2142/34774

[11]

H. Attiya, G. Ramalingam, and N. Rinetzky, "Sequential verification of serializability," ACM Sigplan Notices, vol. 45, no. 1, p. 31, 2010.

Digital Library

[12]

G. Behrmann, A. David, and K. Larsen, "A tutorial on uppaal," Lecture Notes in Computer Science, pp. 200--236, 2004.

[13]

N. Stevens, A. Giannareas, V. Kern, A. Viesca, M. Fortino-Mullen, A. King, and I. Lee, "Smart alarms: multivariate medical alarm integration for post cabg surgery patients," in Proceedings of the 2nd ACM SIGHIT symposium on International health informatics. ACM, 2012, pp. 533--542.

Digital Library

[14]

D. Bates and A. Gawande, "Improving safety with information technology," New England Journal of Medicine, vol. 348, no. 25, pp. 2526--2534, 2003.

[15]

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," IEEE Computer, vol. 39, no. 4, Apr. 2006.

Digital Library

[16]

M. Pajic, Z. Jiang, I. Lee, O. Sokolsky, and R. Mangharam, "From verification to implementation: A model translation tool and a pacemaker case study," in Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th. IEEE, 2012, pp. 173--184.

Digital Library

[17]

R. Alur, D. Arney, E. Gunter, I. Lee, J. Lee, W. Nam, F. Pearce, S. Van Albert, and J. Zhou, "Formal specifications and analysis of the computer-assisted resuscitation algorithm (cara) infusion pump control system," International Journal on Software Tools for Technology Transfer (STTT), vol. 5, no. 4, pp. 308--319, 2004.

Digital Library

[18]

M. Pajic, R. Mangharam, O. Sokolsky, D. Arney, J. Goldman, and I. Lee, "Model-driven safety analysis of closed-loop medical systems," IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2012.

[19]

A. Al-Nayeem, Sun, X. Qiu, and L. Sha, "A Formal Architecture Pattern for Real-time Distributed Systems," Proceedings of the 30th IEEE RTSS, 2009.

Digital Library

[20]

J. Rushby, "Systematic formal verification for fault-tolerant time-triggered algorithms," IEEE Transactions on Software Engineering, vol. 25, pp. 651--660, September 1999.

Digital Library

[21]

K. Raymond, "A tree-based algorithm for distributed mutual exclusion," ACM Transactions on Computer Systems, vol. 7, no. 1, pp. 61--77, 1989.

Digital Library

[22]

P. Bernstein and N. Goodman, "Concurrency control in distributed database systems," ACM Computing Surveys (CSUR), vol. 13, no. 2, pp. 185--221, 1981.

Digital Library

[23]

K. Chandy and L. Lamport, "Distributed snapshots: determining global states of distributed systems," ACM Transactions on Computer Systems, vol. 3, no. 1, pp. 63--75, 1985.

Digital Library

[24]

D. Card and W. Agresti, "Measuring software design complexity," Journal of Systems and Software, vol. 8, no. 3, pp. 185--197, 1988.

Digital Library

[25]

A. Ranganathan and R. H. Campbell, "What is the complexity of a distributed computing system?" Complexity, vol. 12, no. 6, pp. 37--45, 2007.

Digital Library

[26]

E. Dijkstra, "Self-stabilizing systems in spite of distributed control," Communications of the ACM, vol. 17, no. 11, pp. 643--644, 1974.

Digital Library

[27]

P. Feiler, "The architecture analysis & design language (AADL): An introduction," Software Engineering Institute, Cranegie-Mellon University, Tech. Rep., 2006.

Cited By

Hooda DRani R(2020)Semantic Driven Healthcare Monitoring and Disease Detection Framework from Heterogeneous Sensor Data2020 Sixth International Conference on Parallel, Distributed and Grid Computing (PDGC)10.1109/PDGC50313.2020.9315793(415-420)Online publication date: 6-Nov-2020
https://doi.org/10.1109/PDGC50313.2020.9315793
Pratim Ray PDash DMoustafa N(2020)Streaming service provisioning in IoT‐based healthcareTransactions on Emerging Telecommunications Technologies10.1002/ett.410931:11Online publication date: 4-Nov-2020
https://dl.acm.org/doi/10.1002/ett.4109
Ma XWang ZZhou SWen HZhang Y(2018)Intelligent Healthcare Systems Assisted by Data Analytics and Mobile ComputingWireless Communications and Mobile Computing10.1155/2018/39280802018(1-16)Online publication date: 3-Jul-2018
https://doi.org/10.1155/2018/3928080
Show More Cited By

Index Terms

A low complexity coordination architecture for networked supervisory medical systems
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Patterns
  2. Software organization and properties
    1. Software system structures
      1. Distributed systems organizing principles
        Client-server architectures
      2. Software architectures

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICCPS '13: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems

April 2013

278 pages

ISBN:9781450319966

DOI:10.1145/2502524

General Chair:
Chenyang Lu
Washington University
,
Program Chairs:
P. R. Kumar
Texas A&M University
,
R. Stoleru
Texas A&M University

Copyright © 2013 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: 08 April 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Conference

ICCPS '13

Sponsor:

IEEE-CS\TCRT
SIGBED

ICCPS '13: ACM/IEEE 4th International Conference on Cyber-Physical Systems

April 8 - 11, 2013

Pennsylvania, Philadelphia

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
236
Total Downloads

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

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Hooda DRani R(2020)Semantic Driven Healthcare Monitoring and Disease Detection Framework from Heterogeneous Sensor Data2020 Sixth International Conference on Parallel, Distributed and Grid Computing (PDGC)10.1109/PDGC50313.2020.9315793(415-420)Online publication date: 6-Nov-2020
https://doi.org/10.1109/PDGC50313.2020.9315793
Pratim Ray PDash DMoustafa N(2020)Streaming service provisioning in IoT‐based healthcareTransactions on Emerging Telecommunications Technologies10.1002/ett.410931:11Online publication date: 4-Nov-2020
https://dl.acm.org/doi/10.1002/ett.4109
Ma XWang ZZhou SWen HZhang Y(2018)Intelligent Healthcare Systems Assisted by Data Analytics and Mobile ComputingWireless Communications and Mobile Computing10.1155/2018/39280802018(1-16)Online publication date: 3-Jul-2018
https://doi.org/10.1155/2018/3928080
Ma XWang ZZhou SWen HZhang Y(2018)Intelligent Healthcare Systems Assisted by Data Analytics and Mobile Computing2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC)10.1109/IWCMC.2018.8450377(1317-1322)Online publication date: Jun-2018
https://doi.org/10.1109/IWCMC.2018.8450377
Zhao WYang M(2017)Dependability enhancing mechanisms for integrated clinical environmentsThe Journal of Supercomputing10.1007/s11227-017-2003-073:10(4207-4220)Online publication date: 1-Oct-2017
https://dl.acm.org/doi/10.1007/s11227-017-2003-0
Wu PNam MChoi JKirlik ASha LBerlin R(2017)Supporting Emergency Medical Care Teams with an Integrated Status Display Providing Real-Time Access to Medical Best Practices, Workflow Tracking, and Patient DataJournal of Medical Systems10.1007/s10916-017-0829-x41:12(1-19)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1007/s10916-017-0829-x
Malavolta IMuccini HSharaf MCrnkovic I(2015)A Preliminary Study on Architecting Cyber-Physical SystemsProceedings of the 2015 European Conference on Software Architecture Workshops10.1145/2797433.2797453(1-6)Online publication date: 7-Sep-2015
https://dl.acm.org/doi/10.1145/2797433.2797453
Zhao W(2015)Towards Trustworthy Integrated Clinical Environments2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom)10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.96(452-459)Online publication date: Aug-2015
https://doi.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.96
Taylor CVenkatasubramanian KShue CBushnell LRohrbough LAmin SKoutsoukos X(2014)Understanding the security of interoperable medical devices using attack graphsProceedings of the 3rd international conference on High confidence networked systems10.1145/2566468.2566482(31-40)Online publication date: 15-Apr-2014
https://dl.acm.org/doi/10.1145/2566468.2566482
(2014)The Design of Safe Networked Supervisory Medical Systems using Organ-Centric Hierarchical Control ArchitectureIEEE Journal of Biomedical and Health Informatics10.1109/JBHI.2014.2333778(1-1)Online publication date: 2014
https://doi.org/10.1109/JBHI.2014.2333778

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