License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2015.33
URN: urn:nbn:de:0030-drops-52545
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5254/
Go to the corresponding OASIcs Volume Portal


Wägemann, Peter ; Distler, Tobias ; Hönig, Timo ; Sieh, Volkmar ; Schröder-Preikschat, Wolfgang

GenE: A Benchmark Generator for WCET Analysis

pdf-format:
5.pdf (0.5 MB)


Abstract

The fact that many benchmarks for evaluating worst-case execution time (WCET) analysis tools are based on real-world applications greatly increases the value of their results. However, at the same time, the complexity of these programs makes it difficult, sometimes even impossible, to obtain all corresponding flow facts (i.e., loop bounds, infeasible paths, and input values triggering the WCET), which are essential for a comprehensive evaluation. In this paper, we address this problem by presenting GenE, a benchmark generator that in addition to source code also provides the flow facts of the benchmarks created. To generate a new benchmark, the tool combines code patterns that are commonly found in real-time applications and are challenging for WCET analyzers. By keeping track of how patterns are put together, GenE is able to determine the flow facts of the resulting benchmark based on the known flow facts of the patterns used. Using this information, it is straightforward to synthesize the accurate WCET, which can then serve as a baseline for the evaluation of WCET analyzers.

BibTeX - Entry

@InProceedings{wgemann_et_al:OASIcs:2015:5254,
  author =	{Peter W{\"a}gemann and Tobias Distler and Timo H{\"o}nig and Volkmar Sieh and Wolfgang Schr{\"o}der-Preikschat},
  title =	{{GenE: A Benchmark Generator for WCET Analysis}},
  booktitle =	{15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
  pages =	{33--43},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-95-8},
  ISSN =	{2190-6807},
  year =	{2015},
  volume =	{47},
  editor =	{Francisco J. Cazorla},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5254},
  URN =		{urn:nbn:de:0030-drops-52545},
  doi =		{10.4230/OASIcs.WCET.2015.33},
  annote =	{Keywords: WCET, benchmark generation, flow facts, WCET Tool Challenge}
}

Keywords: WCET, benchmark generation, flow facts, WCET Tool Challenge
Collection: 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)
Issue Date: 2015
Date of publication: 06.07.2015


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