❙ 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


    Access

    Download


    Export, share and cite



    Title :

    Safety considerations for WCET evaluation methods in avionic equipment


    Contributors:


    Publication date :

    2015-09-01


    Size :

    2386492 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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. | European Patent Office | 2017

    Free access

    Avionic equipment heating

    PINEAU JEAN-PHILIPPE / SARNO CLAUDE / HODOT ROMAIN et al. | European Patent Office | 2019

    Free access

    Avionic equipment heating

    JEAN-PHILIPPE PINEAU / CLAUDE SARNO / ROMAIN HODOT et al. | European Patent Office | 2021

    Free access

    New technological considerations that improve avionic reliability

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