Aircraft safety has improved steadily over the last few decades. While much of this improvement can be attributed to the introduction of advanced automation in the cockpit, the growing complexity of these systems also increases the potential for the pilots to become confused about what the automation is doing. This phenomenon, often referred to as mode confusion, has been involved in several accidents involving modern aircraft. This report describes an effort by Rockwell Collins and NASA Langley to identify potential sources of mode confusion through two complementary strategies. The first is to create a clear, executable model of the automation, connect it to a simulation of the flight deck, and use this combination to review of the behavior of the automation and the man-machine interface with the designers, pilots, and experts in human factors. The second strategy is to conduct mathematical analyses of the model by translating it into a formal specification suitable for analysis with automated tools. The approach is illustrated by applying it to a hypothetical, but still realistic, example of the mode logic of a Flight Guidance System.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Detecting Mode Confusion Through Formal Modeling and Analysis


    Beteiligte:
    S. P. Miller (Autor:in) / J. N. Potts (Autor:in)

    Erscheinungsdatum :

    1999


    Format / Umfang :

    69 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Detecting Mode Confusion Through Formal Modeling and Analysis

    Miller, Steven P. / Potts, James N. | NTRS | 1999


    Formal Methods Approach to the Analysis of Mode Confusion

    R. W. Butler / S. P. Miller / J. N. Potts et al. | NTIS | 2004


    A Formal Methods Approach to the Analysis of Mode Confusion

    Butler, Ricky W. / Miller, Steven P. / Potts, James N. et al. | NTRS | 2004


    Mode Confusion Analysis of a Flight Guidance System Using Formal Methods

    Joshi, A. / IEEE / AIAA | British Library Conference Proceedings | 2003


    Mode confusion analysis of a flight guidance system using formal methods

    Joshi, A. / Miller, S.P. / Heimdahl, M.P.E. | IEEE | 2003