• DocumentCode
    540983
  • Title

    Mode confusion analysis of a flight guidance system using formal methods

  • Author

    Joshi, Anjali ; Miller, Steven P. ; Heimdahl, Mats P E

  • Volume
    1
  • fYear
    2003
  • fDate
    12-16 Oct. 2003
  • Abstract
    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.
  • Keywords
    aircraft control; avionics; formal logic; automated analysis tool; flight guidance system; formal method; mode confusion analysis; mode logic;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference, 2003. DASC '03. The 22nd
  • Conference_Location
    Indianapolis, IN, USA
  • Print_ISBN
    0-7803-7844-X
  • Type

    conf

  • DOI
    10.1109/DASC.2003.1245813
  • Filename
    5731065
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=540983