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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Mode confusion analysis of a flight guidance system using formal methods


    Beteiligte:
    Joshi, A. (Autor:in) / Miller, S.P. (Autor:in) / Heimdahl, M.P.E. (Autor:in)


    Erscheinungsdatum :

    2003-01-01


    Format / Umfang :

    950851 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Mode Confusion Analysis of a Flight Guidance System Using Formal Methods

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


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

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


    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


    Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion (AIAA 2016-0129)

    Nandiganahalli, Jayaprakash Suraj / Lee, Sangjin / Hwang, Inseok | British Library Conference Proceedings | 2016