This presentation attempted to develop a quantitative method for evaluating the effectiveness of autoflight displays. Researchers sought to develop a methodology for evaluation of display correctness and develop a methodology for display synthesis. Topics covered included: mode awareness, industry/research contributions, human-machine interface analysis, research objectives, modeling, flight guidance project and evaluation.
Formal Analysis of Human Automation Interaction: The Problem of Display Correctness
Flight Guidance System Harmonization Working Group 4th Meeting ; 1999 ; Norrkoping, Sweden
1998-01-01
Preprint
No indication
English
Formal Analysis of the Structural Correctness of SLC Descriptions
British Library Online Contents | 2003
|Constructing Human-Automation Interfaces: A Formal Approach
British Library Conference Proceedings | 2002
|Formal correctness of an automotive bus controller implementation at gate-level
Tema Archive | 2008
|Human-automation interaction : mobile computing
TIBKAT | 2023
|