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.2008.1658
URN: urn:nbn:de:0030-drops-16585
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1658/
Go to the corresponding OASIcs Volume Portal

Gustafsson, Jan ; Ermedahl, Andreas

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

pdf-format:
GustafssonJan.Paper.1658.pdf (0.1 MB)

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:OASIcs:2008:1658,
  author =	{Jan Gustafsson and Andreas Ermedahl},
  title =	{{Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution}},
  booktitle =	{8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-10-1},
  ISSN =	{2190-6807},
  year =	{2008},
  volume =	{8},
  editor =	{Raimund Kirner},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1658},
  URN =		{urn:nbn:de:0030-drops-16585},
  doi =		{10.4230/OASIcs.WCET.2008.1658},
  note =	{also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-237-3},
  annote =	{Keywords: Worst-Case Execution Time (WCET) analysis, flow analysis}
}

Keywords: Worst-Case Execution Time (WCET) analysis, flow analysis
Collection: 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 | Privacy Published by LZI