Formal Analysis of Human Machine Interactions for Cyber-Physical Systems

Download

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.

  • foundations of CPS
  • Human CPS
  • University of Colorado at Boulder
  • CPS Domains
  • Medical Devices
  • Modeling
  • Health Care
  • Validation and Verification
  • Foundations
  • Education
  • National CPS PI Meeting 2014
  • 2014
  • Abstract
  • Poster
  • Academia
  • CPSPI MTG 2014 Posters, Videos and Abstracts
Submitted by Sriram Sankara… on