A treatment validation protocol for cyber-physical-human medical systems

Po Liang Wu, Dhashrath Raguraman, Lui Sha, Richard B. Berlin, Julian M. Goldman

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In cyber-physical-human medical environments, coordinating supervisory medical systems and medical staff to perform treatments in in accordance with best practice is essential for patient safety. However, the dynamics of patient conditions and the non-deterministic nature of potential side effects of treatments pose significant challenges. In this paper, we propose a validation protocol to enforce the correct execution sequence of performing treatment, regarding preconditions validation, side effects monitoring, and expected responses checking based on the path physiological models. The proposed protocol organizes the medical information concisely and comprehensively to help medical staff validate treatments. Unlike traditional validation mechanism for cyber systems, the medical system cannot lock or rollback the states of physical components, such as patient conditions. Therefore, the proposed protocol dynamically adapts to the patient conditions and side effects of treatments. Moreover, a cardiac arrest scenario is used as a case study to verify the safety and correctness properties of the proposed protocol.

Original languageEnglish (US)
Title of host publicationProceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014
EditorsRick Rabiser, Richard Torkar, Richard Torkar
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages183-190
Number of pages8
ISBN (Electronic)9781479957941
DOIs
StatePublished - Oct 17 2014
Event40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014 - Verona, Italy
Duration: Aug 27 2014Aug 29 2014

Publication series

NameProceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014

Other

Other40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014
CountryItaly
CityVerona
Period8/27/148/29/14

Keywords

  • medical cyber-physical-human systems
  • treatment validation

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'A treatment validation protocol for cyber-physical-human medical systems'. Together they form a unique fingerprint.

  • Cite this

    Wu, P. L., Raguraman, D., Sha, L., Berlin, R. B., & Goldman, J. M. (2014). A treatment validation protocol for cyber-physical-human medical systems. In R. Rabiser, R. Torkar, & R. Torkar (Eds.), Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014 (pp. 183-190). [6928810] (Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SEAA.2014.10