• DocumentCode
    181205
  • Title

    Credible autocoding and verification of a gas turbine engine FADEC

  • Author

    Wang, Timothy ; Jobredeaux, Romain ; Pakmher, Mehrdad ; Vivies, Martin ; Feron, Eric ; Boidot, Emmanuel

  • Author_Institution
    Decision and Control Laboratory
  • fYear
    2014
  • fDate
    5-9 Oct. 2014
  • Firstpage
    1
  • Lastpage
    20
  • Abstract
    Motivation 1. High software certification Cost! APPROACHING 50% OF TOTAL PROJECT development COSTS ∼ BILLIONS!) 2. MAY NOT BE practical for Certifying UNMANNED autonomous vehicles or Unmanned aerial systems
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd
  • Conference_Location
    Colorado Springs, CO, USA
  • Print_ISBN
    978-1-4799-5002-7
  • Type

    conf

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