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
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
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd
Conference_Location :
Colorado Springs, CO, USA
Print_ISBN :
978-1-4799-5002-7
DOI :
10.1109/DASC.2014.6979581
