Hybrid measurementbased WCET analysis at the source level using object-level traces

Precise operation of real-time systems depends on functionally correct computations that are delivered within imposed timing constraints. These temporal requirements are often modelled and verified assuming a priori knowledge of the Worst-Case Execution Time (WCET) of each task. Due to complexities resolving the actual WCET, estimates normally suffice. These estimates should be safe, so as not to compromise temporal correctness, and accurate, in order to maximise the often limited system resources. The aim of WCET analysis is to therefore compute a WCET estimate that is the actual WCET. To date, the predominant research direction has been static analysis, which builds both program and processor models, and can therefore provide rigourous proofs re-garding safety. However, the real-time sector is being infiltrated by more advanced processors that complicate processor modelling sufficiently so that simplfying as-sumptions are needed. Such assumptions lead to varying degrees of overestimation, depending on processor configuration. On the other hand, current end-to-end testin