Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Départements > Architecture, systèmes, réseaux > Equipe TRACES > Outils

Otawa

OTAWA est un atelier pour l’estimation de temps d’exécution pire-cas (WCET) par analyse statique, utilisable sous la forme d’une bibliothèque C ++ (licence LGPL). Il intègre un certain nombre de facilités pour la manipulation de code binaire et a été conçu pour supporter différentes architectures.

En savoir plus