The W-SEPT Project: Towards Semantic-Aware WCET Estimation - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

The W-SEPT Project: Towards Semantic-Aware WCET Estimation

Claire Maiza
  • Fonction : Auteur
  • PersonId : 1016786
Pascal Raymond
Catherine Parent-Vigouroux
Armelle Bonenfant
Fabienne Carrier
  • Fonction : Auteur
  • PersonId : 1016787
Hugues Cassé
Philippe Cuenot
  • Fonction : Auteur
  • PersonId : 973369
Denis Claraz
  • Fonction : Auteur
  • PersonId : 973370
Nicolas Halbwachs
  • Fonction : Auteur
  • PersonId : 1016788
Erwan Jahier
Marianne de Michiel
Vincent Mussot
Christine Rochange
Jordy Ruiz
  • Fonction : Auteur
  • PersonId : 1016789
Pascal Sotin

Résumé

Critical embedded systems are generally composed of repetitive tasks that must meet hard timing constraints, such as termination deadlines. Providing an upper bound of the worst-case execution time (WCET) of such tasks at design time is necessary to guarantee the correctness of the system. In static WCET analysis, a main source of over-approximation comes from the complexity of the modern hardware platforms: their timing behavior tends to become more unpredictable because of features like caches, pipeline, branch prediction, etc. Another source of over-approximation comes from the software itself: WCET analysis may consider potential worst-cases executions that are actually infeasible, because of the semantics of the program or because they correspond to unrealistic inputs. The W-SEPT project, for “WCET, Semantics, Precision and Traceability”, has been carried out to study and exploit the influence of program semantics on the WCET estimation. This paper presents the results of this project : a semantic-aware WCET estimation workflow for high-level designed systems.
Fichier principal
Vignette du fichier
WCET_2017_WSEPT.pdf (507.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01590442 , version 1 (19-09-2017)

Identifiants

Citer

Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, et al.. The W-SEPT Project: Towards Semantic-Aware WCET Estimation. 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩. ⟨hal-01590442⟩
595 Consultations
54 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More