Process in two independent phases after stability analysis Certified Library + Annotated C code with inserted invariant provide a clear mathematical evidence of the closed loop stability Producing a overall verifiable C code


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A credible autocoding application within a rocket and its payload


    Beteiligte:
    Cohen, Raphael (Autor:in) / Jobredeaux, Romain (Autor:in) / Feron, Eric (Autor:in)


    Erscheinungsdatum :

    2015-09-01


    Format / Umfang :

    677910 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    A credible autocoding application within a rocket and its payload

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


    Credible autocoding and verification of a gas turbine engine FADEC

    Wang, Timothy / Jobredeaux, Romain / Pakmher, Mehrdad et al. | IEEE | 2014


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

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


    Autocoding in Automotive Software Development

    Furst, S. / Institution of Electrical Engineers / IEE Microelectronics and Embedded Systems Professional Network et al. | British Library Conference Proceedings | 2005


    Autocoding in automotive software development

    Fu¨rst, S. | IET Digital Library Archive | 2005