> Details

Raymond, Pascal [Author]; Maiza, Claire [Author]; Parent-Vigouroux, Catherine [Author]; Jahier, Erwan [Author]; Halbwachs, Nicolas [Author]; Carrier, Fabienne [Author]; Asavoae, Mihail [Author]; Boutonnet, Rémy [Author] ; Pascal Raymond and Claire Maiza and Catherine Parent-Vigouroux and Erwan Jahier and Nicolas Halbwachs and Fabienne Carrier and Mihail Asavoae and Rémy Boutonnet [Contributor]

Improving WCET Evaluation using Linear Relation Analysis

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Text; E-Article
  • Title: Improving WCET Evaluation using Linear Relation Analysis
  • Contributor: Raymond, Pascal [Author]; Maiza, Claire [Author]; Parent-Vigouroux, Catherine [Author]; Jahier, Erwan [Author]; Halbwachs, Nicolas [Author]; Carrier, Fabienne [Author]; Asavoae, Mihail [Author]; Boutonnet, Rémy [Author]
  • imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
  • Language: English
  • DOI: https://doi.org/10.4230/LITES-v006-i001-a002
  • Keywords: Worst Case Execution Time estimation ; Abstract Interpretation ; Infeasible Execution Paths
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: The precision of a worst case execution time (WCET) evaluation tool on a given program is highly dependent on how the tool is able to detect and discard semantically infeasible executions of the program. In this paper, we propose to use the classical abstract interpretation-based method of linear relation analysis to discover and exploit relations between execution paths. For this purpose, we add auxiliary variables (counters) to the program to trace its execution paths. The results are easily incorporated in the classical workflow of a WCET evaluator, when the evaluator is based on the popular implicit path enumeration technique. We use existing tools - a WCET evaluator and a linear relation analyzer - to build and experiment a prototype implementation of this idea.
  • Access State: Open Access
  • Rights information: Attribution (CC BY)