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
01.01.1998
Preprint
Keine Angabe
Englisch
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 Archiv | 2008
|Human-automation interaction : mobile computing
TIBKAT | 2023
|