Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design

Zhicheng Fu, Chunhui Guo, Shangping Ren, Yizong Ou, Lui Sha

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

Abstract

For a cyber-physical system, its execution behaviors are often impacted by human interactive behaviors. However, the assumptions about a cyber-physical systems expected human interactive behaviors are often informally documented, or even left implicit and unspecified in system design. Unfortunately, such implicit human interaction assumptions made by safety critical cyber-physical systems, such as medical cyber-physical systems (M-CPS), can lead to catastrophes. Several recent U.S. Food and Drug Administration (FDA) medical device recalls are due to implicit human interaction assumptions. In this paper, we classify the categories of constraints in human interaction assumptions in the medical domain and develop a mathematical assumption model that allow M-CPS engineers to explicitly and precisely specify assumptions about human interactions. Algorithms are developed to integrate mathematical assumption models with system model so that the safety of the system can be not only validated by both medical and engineering professionals but also formally verified by existing formal verification tools. We use an FDA recalled medical ventilator scenario as a case study to show how the mathematical assumption model and its integration in M-CPS design may improve the safety of the ventilator and M-CPS in general.

Original languageEnglish (US)
Title of host publicationProceedings - 2017 IEEE 30th International Symposium on Computer-Based Medical Systems, CBMS 2017
EditorsPanagiotis D. Bamidis, Stathis Th. Konstantinidis, Pedro Pereira Rodrigues
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages373-378
Number of pages6
ISBN (Electronic)9781538617106
DOIs
StatePublished - Nov 10 2017
Event30th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2017 - Thessaloniki, Greece
Duration: Jun 22 2017Jun 24 2017

Publication series

NameProceedings - IEEE Symposium on Computer-Based Medical Systems
Volume2017-June
ISSN (Print)1063-7125

Other

Other30th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2017
CountryGreece
CityThessaloniki
Period6/22/176/24/17

ASJC Scopus subject areas

  • Radiology Nuclear Medicine and imaging
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design'. Together they form a unique fingerprint.

  • Cite this

    Fu, Z., Guo, C., Ren, S., Ou, Y., & Sha, L. (2017). Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. In P. D. Bamidis, S. T. Konstantinidis, & P. P. Rodrigues (Eds.), Proceedings - 2017 IEEE 30th International Symposium on Computer-Based Medical Systems, CBMS 2017 (pp. 373-378). [8104222] (Proceedings - IEEE Symposium on Computer-Based Medical Systems; Vol. 2017-June). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CBMS.2017.50