The cost of software engineering and avionics represents more than half of the budget of a safety-critical system like an aircraft or a UAV. The quantity and the complexity of embedded software in such systems is increasing exponentially. Reducing their cost of development is a major objective in the aeronautics and avionics industry. Research in Cyber Physical Systems (CPS) endeavours to contribute to this objective. The traditionnal approach to certifying software is to design unit tests to match low level requirements, and integration tests to validate high level requirements. Creating and running these tests require large amounts of time and money. With the recent bloom of companies specialized in UAV and small systems design, there is a need for new methods able to generate reliable codes in large projects easily, quickly, and in a cost efficient manner. Formal methods are a collection of techniques for the mathematical analysis of programs and models, which can assist in the certification of software with respect to FAA and EASA certification guidelines.


    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) / Bui Long, Anh-Toan (Autor:in) / Jobredeaux, Romain (Autor:in) / Feron, Eric (Autor:in)


    Erscheinungsdatum :

    01.09.2015


    Format / Umfang :

    975071 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

    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