Equipe TRACES

Responsable :  Christine ROCHANGE

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

Compétences

temps réel
systèmes embarqués
systèmes critiques
architecture des machines
compilation

personnel de l’équipe TRACES

Membres permanents
Membres non – permanents

publications de l’équipe TRACES

Articles dans des revues internationales
Articles dans des revues nationales
Rédaction de numéros spéciaux de revues
Conférences et workshops internationaux avec actes édités et comité de lecture
Conférences sans actes publiés
Livres (monographies) Contributions à des ouvrages de synthèse
Thèses et habilitations
  • Jordy Ruiz

    Détermination de propriétés de flot de données pour améliorer les estimations de temps d’exécution pire-cas

    Thèse de doctorat, Université Paul Sabatier, décembre 2017.

    BibTeX

  • Vincent Mussot

    Automates d’annotation de flot pour l’expression et l’int ¿egration de propri ¿et ¿es dans l’analyse de WCET

    Thèse de doctorat, Université Paul Sabatier, décembre 2016.

    Accès : http://thesesups.ups-tlse.fr/3366/1/2016TOU30247.pdf
    BibTeX

  • Amira Dkhil

    Ordonnancement hybride des applications flots de données sur des systèmes embarqués multi­coeurs

    Thèse de doctorat, Université Paul Sabatier, avril 2015.

    Accès : http://thesesups.ups-tlse.fr/2729/
    BibTeX

  • Hicham Agrou

    Architecture multi-coeur déterministe pour l’avionique

    Thèse de doctorat, Université Paul Sabatier, septembre 2014.

    Résumé
    BibTeX

  • Hajer Herbegue Bouhachem

    Approche ADL pour la modélisation d’architecture basée sur les contraintes (calcul de WCET)

    Thèse de doctorat, Université Paul Sabatier, septembre 2014.

    BibTeX

  • Roman Bourgade

    Analyse du temps d’exécution pire-cas de tâches temps-réel exécutées sur une architecture multi-cœurs

    Thèse de doctorat, Université de Toulouse, octobre 2012.

    Accès : https://www.irit.fr/publis/TRACES/these_roman_bourgade_22102012.pdf
    BibTeX

  • Christine Rochange

    Prévisibilité des temps d’exécution pire-cas

    Habilitation à diriger des recherches, Université de Toulouse, novembre 2011.

    BibTeX

  • Tahiry Ratsiambahotra

    Contribution à la simulation de processeur : conception d’un générateur de librairie de simulateurs fonctionnels

    Thèse de doctorat, Université de Toulouse, septembre 2010.

    BibTeX

  • Clément Ballabriga

    Vérification de contraintes temporelles strictes sur des programmes par composition d’analyses partielles

    Thèse de doctorat, Université Paul Sabatier, septembre 2010.

    BibTeX

  • Cédric Landet

    Modélisation d’un processeur à exécution simultanée de flots pour le temps réel strict

    Thèse de doctorat, Université de Toulouse, décembre 2009.

    BibTeX

Rapports

contrats de l’équipe TRACES

AcronymeTitrePériodeResponsables
scientifiques
Partenaires
W-SEPT
[Contrat terminé]
W-SEPT / W-CET : SEmantique, Précision, Traçabilité2012-2016Bonenfant, ArmelleINRIA(EPST) – Université Grenoble I Joseph Fourier(EPCSCP) – Continental Automotive France(Grande Entreprise)
MORE
[Contrat terminé]
Multi criteria optimization for rela-time embedded systems2007-2010Rochange, Christine
MASCOTTE
[Contrat terminé]
MASCOTTE Maîtrise et contrôle des temps d’exécution2005-2009Sainrat, PascalLAAS(Laboratoire) – IRISA-INRIA(Laboratoire) – CEA/LIST(Laboratoire) – TNI Brest(PME) – Renault(Société Anonyme) – FREESCALE/FREESCALE Semiconducteurs France SAS (Motorola)(Grande Entreprise) – IEF/Institut d’Electronique Fondamentale(Laboratoire) – Ecole centrale de Nantes(EPCSCP)
AcronymeTitrePériodeResponsables
scientifiques
Partenaires
parMERASA
[Contrat terminé]
Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability2011-2014Sainrat, PascalHoneywell(Institution étrangère) – Barcelona Supercomputing Center – Centro Nacional de Supercomputacion(Institution étrangère) – Rapita Systems Limited(Institution étrangère) – Technische Univesrsitatet Dortmund(Organisme étranger – Privé) – Bauer Maschinen GMBH(Organisme étranger – Privé) – Denso Automotive Deutschland GmbH(Organisme étranger – Privé)
MERASA
[Contrat terminé]
Multi-Core Execution of Hard Real-Time applications Supporting Analysability2007-2010Sainrat, PascalUPS/Université Toulouse III(EPCSCP) – Universitaet Augsburg(EPCSCP) – Honeywell(Institution étrangère) – Barcelona Supercomputing Center – Centro Nacional de Supercomputacion(Institution étrangère) – Rapita Systems Limited(Institution étrangère)
HIPEAC
[Contrat terminé]
High Performance Embedded Architectures and Compilers2004-2008Sainrat, PascalINRIA(EPST) – Université Polytechnique de Catalogne(EPCSCP) – Universiteit Gent(Laboratoire) – Chalmers Tekniska Hoegskola Aktiebolag(Institution étrangère) – Foundation for Research ant Technology Hellas(Institution étrangère) – University of Edimburgh(Laboratoire) – Universita di Pisa(EPCSCP) – Technische Universiteit Delft(Laboratoire) – Universitaet Augsburg(EPCSCP) – IBM Israël(Grande Entreprise) – Arm limited(Organisme étranger – Privé) – Infineon Technologies AG(Grande Entreprise) – STMICROELECTRONICS N.V.(Grande Entreprise) – Virtutech(Grande Entreprise) – Kayser Italia S.R.L.(Grande Entreprise)
Jeudi 21 Décembre 2017, 10h00
Détermination de propriétés de flot de données pour améliorer les estimations de temps d’exécution pire-cas
Jordy RUIZ – Equipe TRACES – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Jeudi 15 Décembre 2016, 10h30
Automates d’annotation de flot pour l’expression et l’intégration de propriétés dans l’analyse du WCET
Vincent MUSSOT – Equipe TRACES – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Vendredi 26 Septembre 2014, 10h00
Approche ADL pour la modélisation d’architecture basée sur les contraintes (Calcul de WCET)
Hajer HERBEGUE BOUHACHEM – Equipe TRACES, Equipe ACADIE – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Mardi 11 Mars 2014 – Vendredi 14 Février 2014
Workshop du projet parMERASA : parMERASA Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability
UT3 Paul Sabatier, IRIT
#congres En savoir plus
Mardi 22 Janvier 2019, 14h00 – 15h30
System-level compilation of parallel real-time systems
Dumitru POTOP-BUTUCARU – INRIA Paris UT3 Paul Sabatier, IRIT, Salle 001
#seminaire
Lundi 27 Janvier 2014, 10h00
Symbolic Methods for the Timing Analysis of Programs
Jakob ZWIRCHMAYR – Equipe TRACES – IRIT (France) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#seminaire