License
when quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2007.1196
URN: urn:nbn:de:0030-drops-11964
URL: http://drops.dagstuhl.de/opus/volltexte/2007/1196/
Stein, Ingmar ; Martin, Florian

Analysis of path exclusion at the machine code level

pdf-format:
Dokument 1.pdf (339 KB)

Abstract

We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded during the ILP-based longest path analysis which helps to improve precision. The new analysis works at the assembly level and uses the Omega library to evaluate Presburger formulas.

BibTeX - Entry

@InProceedings{stein_et_al:DSP:2007:1196,
  author =	{Ingmar Stein and Florian Martin},
  title =	{Analysis of path exclusion at the machine code level},
  booktitle =	{7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis},
  year =	{2007},
  editor =	{Christine Rochange},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2007/1196},
  annote =	{Keywords: Flow-constraint, control flow graph, path exclusion },
}

Keywords: Flow-constraint, control flow graph, path exclusion
Seminar: 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)
Issue date: 2007
Date of publication: 13.11.2007

DROPS-Home | Fulltext Search | Imprint Published by LZI