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
Credible autocoding and verification of a gas turbine engine FADEC
2014-10-01
1867678 byte
Conference paper
Electronic Resource
English
From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems
Springer Verlag | 2015
|FADEC - Every Jet Engine Should Have One
SAE Technical Papers | 1986
|Online Contents | 1994