Sound and Efficient WCET Analysis in the Presence of Timing Anomalies

Reineke, Jan; Sen, Rathijit

doi:10.4230/OASIcs.WCET.2009.2289

Document

Sound and Efficient WCET Analysis in the Presence of Timing Anomalies

Authors Jan Reineke, Rathijit Sen

Part of: Volume: 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (WCET 2009)
Part of: Series: Open Access Series in Informatics (OASIcs)
Part of: Conference: Workshop on Worst-Case Execution Time Analysis (WCET)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2009-11-26

PDF

File

PDF

OASIcs.WCET.2009.2289.pdf

Filesize: 213 kB
11 pages

Document Identifiers

DOI: 10.4230/OASIcs.WCET.2009.2289
URN: urn:nbn:de:0030-drops-22894

Subject Classification

Keywords

WCET analysis
timing anomalies
domino effect

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

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

Author Details

Jan Reineke

Rathijit Sen

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail