z-logo
open-access-imgOpen Access
A framework for the evaluation of measurement-based timing analyses
Author(s) -
Benjamin Lesage,
David Griffin,
Frank Soboczenski,
Iain Bate,
Robert I. Davis
Publication year - 2015
Publication title -
citeseer x (the pennsylvania state university)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/2834848.2834858
Subject(s) - soundness , computer science , key (lock) , ground truth , measure (data warehouse) , execution time , reliability engineering , real time computing , data mining , computer engineering , programming language , artificial intelligence , computer security , engineering
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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom