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.2006.675
URN: urn:nbn:de:0030-drops-6753
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/675/
Go to the corresponding OASIcs Volume Portal

Kebbal, Djemai ; Sainrat, Pascal
Compilers and WCET

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

pdf-format:
WCET_Kebbal.675.pdf (0.1 MB)

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 =		{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
Collection: 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)
Issue Date: 2006
Date of publication: 23.08.2006

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