This paper will explore how formal models and analyses can be used to help eliminate mode confusion from flight deck designs and at the same time increase our confidence in the safety of the implementation. The paper is based upon interim results from a new project involving NASA Langley and Rockwell Collins in applying formal methods to a realistic business jet Flight Guidance System (FGS).


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal Methods Approach to the Analysis of Mode Confusion


    Beteiligte:
    R. W. Butler (Autor:in) / S. P. Miller (Autor:in) / J. N. Potts (Autor:in) / V. A. Carreno (Autor:in)

    Erscheinungsdatum :

    2004


    Format / Umfang :

    12 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    A Formal Methods Approach to the Analysis of Mode Confusion

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



    Detecting Mode Confusion Through Formal Modeling and Analysis

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


    Mode confusion analysis of a flight guidance system using formal methods

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


    Mode Confusion Analysis of a Flight Guidance System Using Formal Methods

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