A key issue with Worst-Case Execution Time (WCET) analyses is the evaluation of the tightness and soundness of the results produced. In the absence of a ground truth, i.e. the Actual WCET (AWCET), such evaluations rely on comparison between different estimates or observed values. In this paper, we introduce a framework for the evaluation of measurement-based timing analyses. This framework uses abstract models of synthetic tasks to provide realistic execution time data as input to the analyses, while ensuring that a corresponding AWCET can be computed. The effectiveness of the framework is demonstrated by evaluating the impact of imperfect structural coverage on an existing measurement-based probabilistic timing analysis.

BibTex Entry

@inproceedings{Lesage2015,
 author = {Benjamin Lesage and David Griffin and Frank Soboczenski and Iain Bate and Robert I. Davis},
 booktitle = {23rd International Conference on Real-Time Networks and Systems (RTNS)},
 title = {A Framework For The Evaluation Of Measurement-based Timing Analyses},
 year = {2015}
}