This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machine interaction and focuses on verifying the correctness of the interaction in complex and automated control systems. The paper describes a systematic methodology for evaluating whether the interface provides the neces- sary information abut the machine to enable the operator to perform a specified task successfully and unambiguously. It also addresses the adequacy of informa- tion provided to the user via training material(e.g., user manual)about the machine's behavior.
展开▼
