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).


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Methods Approach to the Analysis of Mode Confusion


    Contributors:
    R. W. Butler (author) / S. P. Miller (author) / J. N. Potts (author) / V. A. Carreno (author)

    Publication date :

    2004


    Size :

    12 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    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