IRIT - TRACES

Recherche en Architecture et Compilation pour les systémes embarqués


Notre équipe en bref

(~ 6 chercheurs)

Des systèmes critiques en temps réel pour la sécurité sont implémentés comme ensemble de tâches qui doivent respecter un délai. Des stratégies de planification de tâches en temps réel se basent sur la connaissance du temps d’exécution au pire cas possible de chaque tâche (WCET). Les activités de recherche du groupe TRACES cherchent à développer de nouvelles techniques avec lesquelles on pourrait déterminer de tels WCET et/ou faciliter leur calcul.

Applications

  • Analyse de la prévisibilité de synchronisation des systèmes multicores (THALES)
  • Analyse (WCET) automatique des applications en temps réel parallèles (HONEYWELL)
  • Mątriser le comportement de systèmes multi-principaux pour correspondre aux exigences d'avionique