L’équipe TRACES est un groupe de Recherche en Architecture et Compilation pour les systèmEs embarquéS.

Nos activités de recherche contribuent à la vérification de systèmes informatiques critiques pour lesquels des contraintes de temps fortes doivent être respectées. L’élément central de cette vérification est le calcul de bornes supérieures garanties sur les temps d’exécution et les temps de réponse.

Ces dernières années, nos travaux ont porté sur la modélisation des architectures et des applications critiques pour déterminer des WCETs (Worst-Case Execution Times) fiables et aussi précis que possibles. Les approches que nous avons proposées reposent essentiellement sur des techniques d’analyse statique de code. Nos résultats ont été intégrés dans l’outil open-source OTAWA utilisé dans différents projets académiques et industriels, et par d’autres équipes de recherche.

Nous poursuivons actuellement ces travaux selon trois axes :

• analyse et contrôle des interférences temporelles sur des plateformes multi-cœurs
• couplage d’analyses (matériel/logiciel) pour améliorer encore la précision des estimations de temps
• analyse temporelle d’applications émergentes, telles que des réseaux neuronaux