Visible to the public Analyzing Human User Interactions with Cyber-Physical Systems


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.

Our ongoing efforts focus on the problem of automatically learning state machines that correspond to the internal workings of a black-box user in- terface and subsequently analyzing the state machine for dangerous defects such as mode-confusion that can destroy the user's situational awareness. We are also working towards techniques for synthesizing user interactions that can be tolerant to many different types of common user mistakes.

Award ID: 1035845

Creative Commons 2.5

Other available formats:

Analyzing Human User Interactions with Cyber-Physical Systems