Formal Analysis of Human Machine Interactions for Cyber-Physical Systems

Abstract:

Human users are integral to the operation of safety-­‐critical CPS. The goal of this project is to model and analyze the actions of human users along with possible mistakes that may appear in these interactions. We seek to develop approaches that will help us understand the effect of human operator mistakes on the overall system correctness. Our focus is on medical infusion pumps used to deliver drugs to patients. We are studying drug infusion pumps used to deliver anesthesia to patients and insulin infusion pumps used by diabetic patients to self-­‐regulate their post-­‐meal blood glucose levels.