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


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Credible autocoding and verification of a gas turbine engine FADEC


    Contributors:


    Publication date :

    2014-10-01


    Size :

    1867678 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    A credible autocoding application within a rocket and its payload

    Cohen, Raphael / Jobredeaux, Romain / Feron, Eric | IEEE | 2015


    A credible autocoding application within a rocket and its payload

    Cohen, Raphael / Bui Long, Anh-Toan / Jobredeaux, Romain et al. | IEEE | 2015


    From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems

    Wang, Timothy / Jobredeaux, Romain / Herencia, Heber et al. | Springer Verlag | 2015


    FADEC - Every Jet Engine Should Have One

    Scoles, Richard J. | SAE Technical Papers | 1986


    FADEC system

    Online Contents | 1994