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.55
URN: urn:nbn:de:0030-drops-52569
URL: https://drops.dagstuhl.de/opus/volltexte/2015/5256/
Go to the corresponding OASIcs Volume Portal


Ballabriga, Clément ; Forget, Julien ; Lipari, Giuseppe

Context-sensitive Parametric WCET Analysis

pdf-format:
7.pdf (0.6 MB)


Abstract

In this paper, we propose aWCET analysis that focuses on two aspects. First, it supports contextsensitive hardware and software timing effects, meaning that it is sensitive to the execution history of the program and thus can account for effects like cache persistence, triangular loop, etc. Second, it supports the introduction of parameters in both the software model (e.g. parametric loop bounds) and the hardware model (e.g. number of cache misses). WCET computation by static analysis is traditionally handled by the Implicit Path Enumeration Technique (IPET), using an Integer Linear Program (ILP) that is difficult to resolve parametrically. We suggest an alternative tree-based approach. We define a context-sensitive CFG format to express these effects, and we provide an efficient method to process it, giving a parametric WCET formula. Experimental results show that this new method is significantly faster and more accurate than existing parametric approaches.

BibTeX - Entry

@InProceedings{ballabriga_et_al:OASIcs:2015:5256,
  author =	{Cl{\'e}ment Ballabriga and Julien Forget and Giuseppe Lipari},
  title =	{{Context-sensitive Parametric WCET Analysis}},
  booktitle =	{15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
  pages =	{55--64},
  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/5256},
  URN =		{urn:nbn:de:0030-drops-52569},
  doi =		{10.4230/OASIcs.WCET.2015.55},
  annote =	{Keywords: Parametric, WCET, Real-time, Static analysis}
}

Keywords: Parametric, WCET, Real-time, Static analysis
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