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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Analysis of Human Automation Interaction: The Problem of Display Correctness


    Contributors:

    Conference:

    Flight Guidance System Harmonization Working Group 4th Meeting ; 1999 ; Norrkoping, Sweden


    Publication date :

    1998-01-01


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English




    Formal Analysis of the Structural Correctness of SLC Descriptions

    Choi, S. J. / Scacchi, W. | British Library Online Contents | 2003


    Constructing Human-Automation Interfaces: A Formal Approach

    Heymann, M. / Degani, A. / Eurisco (Organization) | British Library Conference Proceedings | 2002


    Formal correctness of an automotive bus controller implementation at gate-level

    Alkassar, Eyad / Böhm, Peter / Knapp, Steffen | Tema Archive | 2008


    Human-automation interaction : mobile computing

    Duffy, Vincent G. ;Ziefle, Martina Cornelia ;Rau, Pei-Luen Patrick | TIBKAT | 2023


    Human-automation interaction design : developing a vehicle automation assistant

    Clark, Jediah R. / Stanton, Neville / Revell, Kirsten M. A. | TIBKAT | 2022