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


    Access

    Download


    Export, share and cite



    Title :

    A credible autocoding application within a rocket and its payload


    Contributors:


    Publication date :

    2015-09-01


    Size :

    677910 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 / 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

    Free access

    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

    Free access