Modeling the Human in Human Factors

  • Authors:
  • John M. Rushby

  • Affiliations:
  • -

  • Venue:
  • SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Human operators use mental models to guide their interaction with automated systems.We can "model the human" by constructing explicit descriptions of plausible mental models. Using mechanized formal methods, we can then calculate divergences between the actual system behavior and that suggested by the mental model. These divergences indicate possible automation surprises and other human factors problems and suggest places where the design should be improved.