A Framework for the Evaluation of Measurement-based Timing Analyses

Benjamin Lesage; David Griffin; Frank Soboczenski; Iain Bate; Robert Davies

A Framework for the Evaluation of Measurement-based Timing Analyses

Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert Davies

Population Health Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

9 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings of the 23rd International Conference on Real Time and Networks Systems - RTNS ’15
Pages	35-44
Publication status	Published - 2015

Cite this

@inbook{0afc09021dec4c0abe0fee6bbd169d82,

title = "A Framework for the Evaluation of Measurement-based Timing Analyses",

abstract = "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.",

author = "Benjamin Lesage and David Griffin and Frank Soboczenski and Iain Bate and Robert Davies",

year = "2015",

language = "English",

pages = "35--44",

booktitle = "Proceedings of the 23rd International Conference on Real Time and Networks Systems - RTNS {\textquoteright}15",

}

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 -

A Framework for the Evaluation of Measurement-based Timing Analyses

Abstract

Fingerprint

Cite this