for guaranteeing the schedulability and thus the safeness of a system. Static analyses of the
WCET (Worst-Case Execution Time) have proven to be a key element for timing analysis, as
they provide safe upper bounds on a program's execution time. For single-core systems,
industrial-strength WCET analyzers are already available, but up to now, only first proposals
have been made to analyze the WCET in multicore systems, where the different cores may …