Analyzing Human User Interactions with 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.

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

 

  • CPS Domains
  • Medical Devices
  • Modeling
  • Systems Engineering
  • Health Care
  • Science of Security
  • Validation and Verification
  • CPS Technologies
  • Education
  • Foundations
  • National CPS PI Meeting 2012
  • 2012
  • Poster
  • Academia
  • CPS PI MTG 12 Posters & Abstracts
Submitted by Sriram Sankara… on Fri, 10/05/2012 - 09:46