Expressing and exploiting path conflicts in WCET analysis - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Expressing and exploiting path conflicts in WCET analysis

Résumé

The presence of infeasible paths in a program is a source of imprecision in the Worst-Case Execution Time (WCET) analysis. Detecting, expressing and exploiting such paths can improve the WCET estimation or, at least, improve the confidence we have in estimation precision. In this article, we propose an extension of the FFX format to express conflicts over paths and we detail two ways of enhancing the WCET analyses with that information. We demonstrate and compare these techniques on the Mälardalen benchmark suite and on C code generated from Esterel.
Fichier principal
Vignette du fichier
mussot_18775.pdf (318.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01682967 , version 1 (12-01-2018)

Identifiants

  • HAL Id : hal-01682967 , version 1
  • OATAO : 18775

Citer

Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne de Michiel, Hugues Cassé. Expressing and exploiting path conflicts in WCET analysis. 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) in conjunction with ECRTS, Jul 2016, Toulouse, France. pp. 1-11. ⟨hal-01682967⟩
155 Consultations
41 Téléchargements

Partager

Gmail Facebook X LinkedIn More