OASIcs.WCET.2009.2289.pdf
- Filesize: 213 kB
- 11 pages
Document
Sound and Efficient WCET Analysis in the Presence of Timing Anomalies
Authors
-
Part of:
Volume:
9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (WCET 2009)
Series: Open Access Series in Informatics (OASIcs)
Conference: Workshop on Worst-Case Execution Time Analysis (WCET) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2009-11-26
Cite As Get BibTex
Jan Reineke and Rathijit Sen. Sound and Efficient WCET Analysis in the Presence of Timing Anomalies. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
https://doi.org/10.4230/OASIcs.WCET.2009.2289
Abstract
Worst-Case-Execution-Time (WCET) analysis computes upper bounds on the execution time of a program on a given hardware platform. Abstractions employed for static timing analysis can lead to non-determinism that may require the analyzer to evaluate an exponential number of choices even for straight-line code. Pruning the search space is potentially unsafe because of "timing anomalies" where local worst-case choices may not lead to the global worst-case scenario. In this paper we present an approach towards more efficient WCET analysis that uses precomputed information to safely discard analysis states.
Subject Classification
Keywords
- WCET analysis
- timing anomalies
- domino effect
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads