Some Formal Aspects of Human-Automation Interaction

  title={Some Formal Aspects of Human-Automation Interaction},
  author={Asaf Degani and Michael Heymann and George Meyer and Michael Shafto},
This paper discusses a formal, mathematically-based, approach to the analysis of operator interaction with machines, in general, and with complex and automated control systems, in particular. It addresses the problem of correctness of displays by asking whether the display provides the necessary information about the machine to enable the operator to perform a specified task successfully and unambiguously. A formal methodology for verification of interface correctness is outlined. Additionally… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS