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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Degani, Asaf (Autor:in) / Heymann, Michael (Autor:in) / Austin, David (Autor:in) / Shafto, Michael (Autor:in) / Remington, Roger (Autor:in)

    Kongress:

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


    Erscheinungsdatum :

    01.01.1998


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch


    Schlagwörter :


    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 Archiv | 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