License
when quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2008.1658
URN: urn:nbn:de:0030-drops-16585
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1658/
Gustafsson, Jan ; Ermedahl, Andreas

Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution

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

Abstract

Static Worst-Case Execution Time (WCET) analysis derives upper bounds for the execution times of programs. Such bounds are crucial when designing and verifying real-time systems. A key component in static WCET analysis is to derive flow information, such as loop bounds and infeasible paths. We have previously introduced abstract execution (AE), a method capable of deriving very precise flow information. This paper present different merging techniques that can be used by AE for trading analysis time for flow information precision. It also presents a new technique, ordered merging, which may radically shorten AE analysis times, especially when analyzing large programs with many possible input variable values.

BibTeX - Entry

@InProceedings{gustafsson_et_al:DSP:2008:1658,
  author =	{Jan Gustafsson and Andreas Ermedahl},
  title =	{Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution},
  booktitle =	{8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis},
  year =	{2008},
  editor =	{Raimund Kirner},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1658},
  annote =	{Keywords: Worst-Case Execution Time (WCET) analysis, flow analysis},
  ISBN =	{978-3-939897-10-1},
  note=		{also published in print by Austrian Computer Society (OCG) under ISBN 978-3-85403-237-3}
}

Keywords: Worst-Case Execution Time (WCET) analysis, flow analysis
Seminar: 8th International Workshop on Worst-Case Execution Time WCET Analysis (WCET'08)
Issue date: 2008
Date of publication: 13.11.2008

DROPS-Home | Fulltext Search | Imprint Published by LZI