Improving WCET Evaluation using Linear Relation Analysis - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Leibniz Transactions on Embedded Systems Année : 2019

Improving WCET Evaluation using Linear Relation Analysis

Pascal Raymond
Claire Maiza
  • Fonction : Auteur
  • PersonId : 1016786
Catherine Parent-Vigouroux
Erwan Jahier
Nicolas Halbwachs
  • Fonction : Auteur
  • PersonId : 1016788
Fabienne Carrier
  • Fonction : Auteur
  • PersonId : 1016787
Mihail Asavoae
  • Fonction : Auteur
Rémy Boutonnet
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
98-459-6-PB.pdf (761.13 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-03013987 , version 1 (19-11-2020)

Identifiants

Citer

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, et al.. Improving WCET Evaluation using Linear Relation Analysis. Leibniz Transactions on Embedded Systems, 2019, 6 (1), pp.02:28. ⟨10.4230/LITES-v006-i001-a002⟩. ⟨hal-03013987⟩
62 Consultations
81 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More