Outils

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 facilités pour la manipulation de code binaire et a été conçu pour supporter différentes architectures.
En savoir plus

Lire la suite

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