License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2005.814
URN: urn:nbn:de:0030-drops-8149
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/814/
Go to the corresponding OASIcs Volume Portal

Wilhelm, Stephan

Efficient Analysis of Pipeline Models for WCET Computation

pdf-format:
WCET_05.Wilhelm.814.pdf (0.3 MB)

Abstract

Worst-case execution time (WCET) prediction for modern
CPU’s cannot make local assumptions about the impact
of input information on the global worst-case because
of the existence of timing anomalies. Therefore, static analyses
on the hardware level must consider a large subset of
the reachable states of the underlying hardware model. As
the number of states grows, WCET prediction can become
infeasible because of the increase in computation time and
memory consumption. This paper presents a solution for
this problem by defining the static analysis of processor
pipelines for WCET computation in terms of operations on
binary decision diagrams (BDD’s).

BibTeX - Entry

@InProceedings{wilhelm:OASIcs.WCET.2005.814,
  author =	{Wilhelm, Stephan},
  title =	{{Efficient Analysis of Pipeline Models for WCET Computation}},
  booktitle =	{5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
  pages =	{37--40},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-24-8},
  ISSN =	{2190-6807},
  year =	{2007},
  volume =	{1},
  editor =	{Wilhelm, Reinhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/814},
  URN =		{urn:nbn:de:0030-drops-8149},
  doi =		{10.4230/OASIcs.WCET.2005.814},
  annote =	{Keywords: Worst-case execution time prediction, pipeline analysis, timing anomalies, binary decision diagrams}
}

Keywords: Worst-case execution time prediction, pipeline analysis, timing anomalies, binary decision diagrams
Collection: 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)
Issue Date: 2007
Date of publication: 29.03.2007

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI