The paper discusses mode confusion analysis of a flight guidance system using formal methods. The paper describes the use of automated analysis tools, such as model-checkers and theorem provers, to search for potential sources of mode confusion in a representative specification of the mode logic of a Flight Guidance System.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Mode confusion analysis of a flight guidance system using formal methods


    Contributors:
    Joshi, A. (author) / Miller, S.P. (author) / Heimdahl, M.P.E. (author)


    Publication date :

    2003-01-01


    Size :

    950851 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Mode Confusion Analysis of a Flight Guidance System Using Formal Methods

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


    Formal Methods Approach to the Analysis of Mode Confusion

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


    Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion

    Suraj Nandiganahalli, Jayaprakash / Lee, Sangjin / Hwang, Inseok | AIAA | 2016


    A Formal Methods Approach to the Analysis of Mode Confusion

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


    Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction

    Nandiganahalli, Jayaprakash Suraj / Lee, Sangjin / Hwang, Inseok | AIAA | 2016