Safe Workflow Adaptation and Validation Protocol for Medical Cyber-Physical Systems

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

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

Abstract

In medical cyber-physical environments, synchronizing supervisory medical systems, physicians' behavior and patient conditions in compliance with best practice workflow is essential for patient safety. However, patient conditions change rapidly and asynchronously, so workflows have to be adapted to the changes safely. In this paper, we propose a workflow adaptation and validation protocol to help physicians safely adapt workflows to react to patient adverse events based on the path physiological models. Unlike conventional validation protocols, the medical cyber-physical systems cannot lock or recover the states of physical components, such as patient conditions. Therefore, the proposed protocol dynamically adapts the workflow to the patient conditions while validating safety requirements in collaboration with physicians. Moreover, we use cardiac arrest resuscitation as a case study to verify the safety and correctness properties of the proposed protocol.

Original languageEnglish (US)
Title of host publicationProceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages464-471
Number of pages8
ISBN (Electronic)9781467375856
DOIs
StatePublished - Oct 20 2015
Event41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015 - Madeira, Portugal
Duration: Aug 26 2015Aug 28 2015

Publication series

NameProceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015

Other

Other41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015
CountryPortugal
CityMadeira
Period8/26/158/28/15

Keywords

  • adaptation
  • medical workflow
  • validation

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Fingerprint Dive into the research topics of 'Safe Workflow Adaptation and Validation Protocol for Medical Cyber-Physical Systems'. Together they form a unique fingerprint.

  • Cite this

    Wu, P. L., Sha, L., Berlin, R. B., & Goldman, J. M. (2015). Safe Workflow Adaptation and Validation Protocol for Medical Cyber-Physical Systems. In Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015 (pp. 464-471). [7302491] (Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SEAA.2015.27