Modeling and Integrating Physical Environment Assumptions in Medical Cyber-Physical System Design
Zhicheng Fu1,a, Chunhui Guo1,b, Shangping Ren1,c, Yu Jiang2 and Lui Sha3
1Illinois Institute of Technology, Chicago, IL 60616, USA.
azfu11@hawk.iit.edu
bcguo13@hawk.iit.edu
cren@iit.edu
2Tsinghua University, Beijing, China.
jy1989@mail.tsinghua.edu.cn
3University of Illinois at Urbana-Champaign, Urbana, IL 61801, USA.
lrs@illinois.edu
ABSTRACT
Implicit physical environment assumptions made by safety critical cyber-physical systems, such as medical cyberphysical systems (M-CPS), can lead to catastrophes. Several recent U.S. Food and Drug Administration (FDA) medical device recalls are due to implicit physical environment assumptions. In this paper, we develop a mathematical assumption model and composition rules that allow M-CPS engineers to explicitly and precisely specify assumptions about the physical environment in which the designed M-CPS operates. Algorithms are developed to integrate the mathematical assumption model 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.
