NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Formal verification of human-automation interactionThis 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.
Document ID
20040088229
Acquisition Source
Legacy CDMS
Document Type
Reprint (Version printed in journal)
Authors
Degani, Asaf
(NASA Ames Research Center Moffett Field CA United States)
Heymann, Michael
Date Acquired
August 21, 2013
Publication Date
March 1, 2002
Publication Information
Publication: Human factors
Volume: 44
Issue: 1
ISSN: 0018-7208
Subject Category
Man/System Technology And Life Support
Distribution Limits
Public
Copyright
Other

Available Downloads

There are no available downloads for this record.
No Preview Available