❙ WCET evaluation is a way to transform a risk in another risk > Exceeding deadlines vs. oversizing a whole equipment > WCET computation tools would benefit of risk assessment - Why not selling them alongside with their fault tree? > Independence from compiler is not mandatory in safe design process ❙ WCET computation does not produces only final WCET… > Static methods apply at early stage of equipment development > Highlight non-trivial hardware configurations that could be tested > Deeply explores binary code - Third-party libraries - Faulty execution paths ❙ Next step: integrate interferences penalty in this safety process > Multi-core processors support


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Safety considerations for WCET evaluation methods in avionic equipment


    Beteiligte:
    Jean, Xavier (Autor:in) / Girbal, Sylvain (Autor:in) / Brindejonc, Vincent (Autor:in) / Megel, Thomas (Autor:in) / Roger, Anthony (Autor:in)


    Erscheinungsdatum :

    01.09.2015


    Format / Umfang :

    2386492 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Safety considerations for WCET evaluation methods in avionic equipment

    Jean, Xavier / Girbal, Sylvain / Roger, Anthony et al. | IEEE | 2015


    AVIONIC EQUIPMENT HEATING

    PINEAU JEAN-PHILIPPE / SARNO CLAUDE / HODOT ROMAIN et al. | Europäisches Patentamt | 2017

    Freier Zugriff

    Avionic equipment heating

    PINEAU JEAN-PHILIPPE / SARNO CLAUDE / HODOT ROMAIN et al. | Europäisches Patentamt | 2019

    Freier Zugriff

    Avionic equipment heating

    JEAN-PHILIPPE PINEAU / CLAUDE SARNO / ROMAIN HODOT et al. | Europäisches Patentamt | 2021

    Freier Zugriff

    New technological considerations that improve avionic reliability

    BURKHARD, ALAN H. / KURYLOWICH, GEORGE | AIAA | 1987