• DocumentCode
    2547111
  • Title

    General aviation landing assistance using formal methods-based system design

  • Author

    Pointner, W. ; Kotsis, G. ; Naderhirn, M.

  • fYear
    2012
  • fDate
    14-18 Oct. 2012
  • Firstpage
    1
  • Lastpage
    18
  • Abstract
    This presentation identified reachable sets represent aircrafts capabilities. Safe mode transitions can be determined. Refined model provides greater situational awareness. Verification of usability and accuracy through simulations and test flights.
  • Keywords
    aerospace computing; aerospace safety; aerospace simulation; aircraft landing guidance; aircraft testing; formal verification; aircraft simulation; aircrafts capability; formal method based system design; general aviation landing assistance; safe mode transitions; situational awareness; test flight;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st
  • Conference_Location
    Williamsburg, VA
  • ISSN
    2155-7195
  • Print_ISBN
    978-1-4673-1699-6
  • Type

    conf

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