A structural model for WCET estimation of Simple Out-of-Order Superscalar Processor

Robin Schmutz 1 Karine Brifault 1 François Bodin 1
1 CAPS - Compilation, parallel architectures and system
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In the field of hard real time systems, there are two existing techniques to determine the worst-case execution time (WCET). The first techniques are based on measurements, and produce timing estimates, while the second ones consists in static analysis. However, both techniques are often inadequate to produce tight WCET estimates. As the predictions obtained throug measurement techniques are usually not guaranteed, the measurement based estimates can be wrong and, for static models, there is a lack of correspondence between those models and the given architectures. As a consequence, WCET estimates are often grossly overestimated. In this article, we provide a structural model for RISC superscalar microprocessors with out-of-order execution. Our goal is to establish this closer correspondence between the model and the architecture for the WCET calculation. To that effect, we have elaborated a validation methodology for the structural model which allows us to identify and quantify phenomena that produce deviations in order to refine the model with constraints.
Type de document :
[Research Report] 2006
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

Contributeur : Karine Brifault <>
Soumis le : mardi 12 septembre 2006 - 14:59:42
Dernière modification le : vendredi 16 novembre 2018 - 01:23:37
Document(s) archivé(s) le : mardi 6 avril 2010 - 00:53:50



  • HAL Id : inria-00092905, version 1



Robin Schmutz, Karine Brifault, François Bodin. A structural model for WCET estimation of Simple Out-of-Order Superscalar Processor. [Research Report] 2006. 〈inria-00092905〉



Consultations de la notice


Téléchargements de fichiers