Safety considerations for WCET evaluation methods in avionic equipment

❙ 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