The York Research Database
- » Research
- » York Research Database
- » Publications
- » A Framework For The Evaluation Of Measurement-based Timing Analyses
A Framework For The Evaluation Of Measurement-based Timing Analyses
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Links
- https://www-users.cs.york.ac.uk/~robdavis/papers/RTNS2015Framework.pdf
- https://www-users.cs.york.ac.uk/~robdavis/
Published copy (DOI)
Author(s)
Department/unit(s)
Publication details
| Title of host publication | 23rd International Conference on Real-Time Networks and Systems (RTNS) |
|---|---|
| Date | Published - Nov 2015 |
| Pages | 35-44 |
| Publisher | ACM |
| Place of Publication | New York |
| Original language | English |
| ISBN (Print) | 978-1-4503-3591-1 |
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.
Projects
INRIA International Chair
Project: Research collaboration
Discover related content
Find related publications, people, projects, datasets and more using interactive charts.