OTAWA, a Framework for Experimenting WCET Computations - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

OTAWA, a Framework for Experimenting WCET Computations

Résumé

In this article, we present OTAWA, a framework for computing the Worst Case Execution Time of a program. From its design, it provides an extensible and open architecture whose objective is the implementation of existing and future static analyses for WCET computation. Inspired by existing generic tools, it is based on an architecture abstraction layers where hooked annotations store specific analyses information. Computing the WCET is viewed as performing a chain of analyses that use and produce annotations until getting the WCET evaluation. Finally, the efficiency of the framework, in term of development productivity, is evaluated by two case studies that show some pitfalls that we are currently fixing but also the success of the approach.

Mots clés

Fichier principal
Vignette du fichier
4B2_H.Casse_IRIT.pdf (187.66 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02270434 , version 1 (25-08-2019)

Identifiants

  • HAL Id : hal-02270434 , version 1

Citer

Hugues Cassé, Pascal Sainrat. OTAWA, a Framework for Experimenting WCET Computations. Conference ERTS'06, Jan 2006, Toulouse, France. ⟨hal-02270434⟩
125 Consultations
119 Téléchargements

Partager

More