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

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.

La structure de l’application complète est décrite en AADL fournissant aussi la correspondance entre les threads AADL et les fonctions C. La description AADL est fournie avec différents modes suivant le degré de priorité des interruptions ou les propriétés de préemption des threads.

Pour téléchargertPapaBench, sélectionner une version ci-dessous :

Contact : casse@irit.fr