Credible autocoding and verification of a gas turbine engine FADEC

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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
Original languageEnglish (US)
Title of host publicationAIAA/IEEE Digital Avionics Systems Conference - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Print)9781479950010
StatePublished - Jan 1 2014
Externally publishedYes


Dive into the research topics of 'Credible autocoding and verification of a gas turbine engine FADEC'. Together they form a unique fingerprint.

Cite this