Knowing tasks worst-case execution times (WCET) is crucial in systems with hard real-time constraints, in which missing a deadline can have catastrophic consequences. Worst-case execution time analysis (WCET analysis), thanks to the analysis of a piece of code, returns an upper bound for the time required to execute it on a given hardware. Since real-time… (More)