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

    Download


    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 :

    01.09.2015


    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

    Freier Zugriff

    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 sicherheitsrelevanter Software in der Luftfahrt

    Reiners, Dieter | TIBKAT | 1999

    Freier Zugriff