Expressing and exploiting path conflicts in WCET analysis

Vincent Mussot 1 Jordy Ruiz 1 Pascal Sotin 1 Marianne De Michiel 1 Hugues Cassé 1
1 IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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.
Keywords : WCET analysis Infeasible paths Path conflicts IPET CFG transformation
Type de document :
Communication dans un congrès
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) in conjunction with ECRTS, Jul 2016, Toulouse, France. Proceedings of WCET 2016, 55, pp. 1-11, 2016
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-01682967
Contributeur : Open Archive Toulouse Archive Ouverte (oatao) <>
Soumis le : vendredi 12 janvier 2018 - 16:20:57
Dernière modification le : mercredi 12 septembre 2018 - 17:46:03
Document(s) archivé(s) le : dimanche 6 mai 2018 - 17:34:37

Fichier

mussot_18775.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Collections

UNIV-TLSE3 | SMS | UNIV-TLSE2

Citation

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. Proceedings of WCET 2016, 55, pp. 1-11, 2016. 〈hal-01682967〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

122

Téléchargements de fichiers

20

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD