Paper Info
Title
Formal verification of human-automation interaction.
Abstract
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 necessary information about the machine to enable the operator to perform a specified task successfully and unambiguously. It also addresses the adequacy of information provided to the user via training material (e.g., user manual) about the machine's behavior. The essentials of the methodology, which can be automated and applied to the verification of large systems, are illustrated by several examples and through a case study of pilot interaction with an autopilot aboard a modern commercial aircraft. The expected application of this methodology is an augmentation and enhancement, by formal verification, of human-automation interfaces.
Year
DOI
Venue
2002
10.1518/0018720024494838
HUMAN FACTORS
Keywords
Field
DocType
design of interfaces,cockpit design.,verification,formal-methods,running head: human-automation interaction. key words: automation,modeling,formal verification,aviation,control system,human performance,formal method,aeronautics
Simulation,Computer science,Correctness,Automation,Automatic control,Operator (computer programming),Autopilot,Control system,User interface,Formal verification
Journal
Volume
Issue
ISSN
44
1
0018-7208
Citations 
PageRank 
References 
44
3.14
2
Authors
2
Name
Order
Citations
PageRank
Asaf Degani1706.86
Michael Heymann218423.54