Symbolic WCET Computation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Embedded Computing Systems (TECS) Année : 2017

Symbolic WCET Computation

Résumé

Parametric Worst-case execution time (WCET) analysis of a sequential program produces a formula that represents the worst-case execution time of the program, where parameters of the formula are user-defined parameters of the program (as loop bounds, values of inputs, or internal variables, etc). In this article we propose a novel methodology to compute the parametric WCET of a program. Unlike other algorithms in the literature, our method is not based on Integer Linear Programming (ILP). Instead, we follow an approach based on the notion of symbolic computation of WCET formulae. After explaining our methodology and proving its correctness, we present a set of experiments to compare our method against the state of the art. We show that our approach dominates other parametric analyses and produces results that are very close to those produced by non-parametric ILP-based approaches, while keeping very good computing time.
Fichier principal
Vignette du fichier
authorversion.pdf (746.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01665076 , version 1 (23-02-2021)

Identifiants

Citer

Clément Ballabriga, Julien Forget, Giuseppe Lipari. Symbolic WCET Computation. ACM Transactions on Embedded Computing Systems (TECS), 2017, 17 (2), pp.1 - 26. ⟨10.1145/3147413⟩. ⟨hal-01665076⟩
228 Consultations
253 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More