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
01.10.2014
1867678 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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