A Framework for the Evaluation of Measurement-based Timing Analyses

TY - CHAP

T1 - A Framework for the Evaluation of Measurement-based Timing Analyses

AU - Lesage, Benjamin

AU - Griffin, David

AU - Soboczenski, Frank

AU - Bate, Iain

AU - Davies, Robert

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

M3 - Conference paper

SP - 35

EP - 44

BT - Proceedings of the 23rd International Conference on Real Time and Networks Systems - RTNS ’15

ER -