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


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Credible autocoding and verification of a gas turbine engine FADEC


    Beteiligte:
    Wang, Timothy (Autor:in) / Jobredeaux, Romain (Autor:in) / Pakmher, Mehrdad (Autor:in) / Vivies, Martin (Autor:in) / Feron, Eric (Autor:in) / Boidot, Emmanuel (Autor:in)


    Erscheinungsdatum :

    01.10.2014


    Format / Umfang :

    1867678 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    A credible autocoding application within a rocket and its payload

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

    Freier Zugriff

    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