TRACES Team

Head :  Christine ROCHANGE

TRACES is a Research group on Architectures and Compilers for Embedded Systems.

Our research contributes to the verification of critical computer systems that must meet strong timing requirements. The key point of such a verification is the computation of upper bounds on execution and response times.

These last years, we have focused on the modeling of hardware platforms and application software to determine safe and as-tight-as-possible Worst-Case Execution Times (WCET). The approaches that we have proposed are mainly based on static code analysis techniques. Our results have been integrated in the open-source OTAWA toolset, which has been used in various academic and industrial projects, as well as by other research groups.

We currently consider three topics:

  • analysis and control of timing interferences in multi-core platforms
  • coupling (hardware/software) analyses to improve the accuracy of timing estimations
  • timing analysis of emerging applications, such as neural networks.

skills

real time
embedded systems
critical systems
machine architecture
compilation

personnel of the team

Permanent members
Non-permanent members

publications of the team

International journals articles
National journals articles
Special issues of journal
International conferences articles
Conferences articles without published proceedings
Books Books parts
Thesis and HDR
  • 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

    Master’s Thesis, Université Paul Sabatier, December 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

    Master’s Thesis, Université Paul Sabatier, December 2016.

    URL : 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

    Master’s Thesis, Université Paul Sabatier, April 2015.

    URL : http://thesesups.ups-tlse.fr/2729/
    BibTeX

  • Hicham Agrou

    Architecture multi-coeur déterministe pour l’avionique

    Master’s Thesis, Université Paul Sabatier, September 2014.

    Abstract
    BibTeX

  • Hajer Herbegue Bouhachem

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

    Master’s Thesis, Université Paul Sabatier, September 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

    Master’s Thesis, Université de Toulouse, October 2012.

    URL : http://www.irit.fr/publis/TRACES/these_roman_bourgade_22102012.pdf
    BibTeX

  • Christine Rochange

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

    HDR, Université de Toulouse, November 2011.

    BibTeX

  • Tahiry Ratsiambahotra

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

    Master’s Thesis, Université de Toulouse, September 2010.

    BibTeX

  • Clément Ballabriga

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

    Master’s Thesis, Université Paul Sabatier, September 2010.

    BibTeX

  • Cédric Landet

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

    Master’s Thesis, Université de Toulouse, December 2009.

    BibTeX

Reports

contrats of the team

AcronymeTitreResp. scDébut – fin
W-SEPT
[Contract completed]
W-SEPT / W-CET : SEmantique, Précision, Traçabilité2012 – 2016
MORE
[Contract completed]
autre Multi criteria optimization for rela-time embedded systems2007 – 2010
AcronymeTitreResp. scDébut – fin
parMERASA
[Contract completed]
autre Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability2011 – 2014
MERASA
[Contract completed]
Multi-Core Execution of Hard Real-Time applications Supporting Analysability2007 – 2010
AcronymeTitreResp. scDébut – fin
Thursday 21 December 2017, 10h00
Lookup of data flow properties to improve worst-case execution time estimations
Jordy RUIZ – Team TRACES – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Thursday 15 December 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 – Team TRACES – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Friday 26 September 2014, 10h00
Approche ADL pour la modélisation d’architecture basée sur les contraintes (Calcul de WCET)
Hajer HERBEGUE BOUHACHEM – Team TRACES, Team ACADIE – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Tuesday 11 March 2014 – Friday 14 February 2014
Workshop du projet parMERASA : parMERASA Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability
UT3 Paul Sabatier, IRIT
#congres Know more
Tuesday 22 January 2019, 14h00 – 15h30
System-level compilation of parallel real-time systems
Dumitru POTOP-BUTUCARU – INRIA Paris UT3 Paul Sabatier, IRIT, Salle 001
#seminaire
Monday 27 January 2014, 10h00
Symbolic Methods for the Timing Analysis of Programs
Jakob ZWIRCHMAYR – Team TRACES – IRIT (France) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#seminaire