Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 6 - Architecture, systèmes et réseaux > Equipe TRACES > Outils

Outils

PapaBench

PapaBench est un benchmark temps-réel embarqué dérivé d’un logiciel de contrôle d’un drone distribué sous licence GNU appelé Paparazzi. Initialement conçu pour une architecture biprocesseur AVR, les sources C de l’application ont été adaptés pour compiler pour plusieurs autres plateformes.

Lire la suite

FrontC

FrontC est une bibliothèque OCAML fournissant un parser et un analyseur lexical. Le résultat est un arbre syntaxique facile à manipuler à l’aide des outils de gestion d’arbre habituels de OCAML.

Lire la suite

Gliss

GLISS est un outil qui, à partir de la description d’un jeu d’instructions génère une bibliothèque de simulation de ce jeu d’instructions.

Le formalisme utilisé pour décrire un jeu d’instructions est une extension de sim-nML qui a été développée à l’ Indian Institute of Kanpur et est lui-même issu de nML2.

Lire la suite

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 (...)

Lire la suite