Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Kebbal, Djemai; Sainrat, Pascal http://www.dagstuhl.de/oasics License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-6753
URL:

;
Compilers and WCET

Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis

pdf-format:


Abstract

his paper examines the problem of determining bounds on execution time of real-time programs. Execution time estimation is generally useful in real-time software verification phase, but may be used in other phases of the design and execution of real-time programs (scheduling, automatic parallelizing, etc.). This paper is devoted to the worst-case execution time (WCET) analysis. We present a static WCET analysis approach aimed to automatically extract flow information used in WCET estimate computing. The approach combines symbolic execution and path enumeration. The main idea is to avoid unfolding loops performed by symbolic execution-based approaches while providing tight and safe WCET estimate.

BibTeX - Entry

@InProceedings{kebbal_et_al:OASIcs:2006:675,
  author =	{Djemai Kebbal and Pascal Sainrat},
  title =	{{Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis}},
  booktitle =	{6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-03-3},
  ISSN =	{2190-6807},
  year =	{2006},
  volume =	{4},
  editor =	{Frank Mueller},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/675},
  URN =		{urn:nbn:de:0030-drops-6753},
  doi =		{http://dx.doi.org/10.4230/OASIcs.WCET.2006.675},
  annote =	{Keywords: Static WCET analysis, flow analysis, symbolic execution, path enumeration, loop analysis}
}

Keywords: Static WCET analysis, flow analysis, symbolic execution, path enumeration, loop analysis
Seminar: 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)
Issue date: 2006
Date of publication: 2006


DROPS-Home | Fulltext Search | Imprint Published by LZI