Traces is a Research group on Architectures and Compilers for Embedded Systems. It belongs to the Institut de Recherche en Informatique de Toulouse.

Our current activities focus on the timing analysis of time-critical systems. This includes determining worst-case execution times (WCET) and supporting safe task scheduling.

We develop OTAWA, an open-source toolset dedicated to static WCET analysis.


Latest news

  • A paper in IEEE Transactions on computers

    The following paper has been accepted for publication in IEEE Transactions on Computers:

    MINOTAuR: a Timing Predictable RISC-V Core Featuring Speculative Execution.
    Alban Gruin, Thomas Carle, Christine Rochange, Hugues Cassé, Pascal Sainrat
    PDF

  • ACACES summer school

    Alban and Michaël participate in the ACACES summer school of the HiPEAC Network of Excellence.

  • Two papers at ECRTS’22.

    The two following papers will be presented at ECRTS in Modena, Italy:

    ACETONE: Predictable programming framework for ML applications in safety-critical systems
    Iryna De Albuquerque Silva (ANITI/ONERA), Thomas Carle (IRIT – Univ Toulouse 3), Adrien Gauffriau (Airbus), Claire Pagetti (ONERA)

    Correctness and Efficiency Criteria for the Multi-Phase Task Model
    Rémi Meunier (AUSY – IRIT – INSA), Thomas Carle (IRIT – Université Toulouse 3), Thierry Monteil (IRIT –  INSA)

  • Kick-off of the MeSCAliNe project

    The kick-off meeting of the MeSCAliNe project (ANR JCJC led by Thomas Carle) was held on May 23rd at IRIT. Take a visit to the project website!

  • MINOTAuR presented at the RISC-V Week

    Alban Gruin presented MINOTAuR, our timing-predictable processor, at the RISC-V Week that was held in Paris on May 3-5,2022. See his poster here and the abstract here.

  • PasTiS presented at ERTS2022

    On June 1-2, Michaël Adalbert will present at ERTS2022 a preliminary version of PasTiS, a cycle-accurate simulator that is intended to reflect the behavior of an Nvidia Pascal GPU.

  • A paper in ACM Transactions on Embedded Computing Systems

    Our paper on the effectiveness of eXecution Decision Diagrams for WCET analysis will be published in ACM Transactions on Embedded Computing Systems. It is already available online: https://dl.acm.org/doi/10.1145/3476879

  • Our paper on MINOTAuR presented at RTSS 2021

    Our paper “Speculative Execution and Timing Predictability in an Open Source RISC-V Core” has been accepted at RTSS 2021 and is in competition for the best paper award. Alban Gruin (1st year PhD student in TRACES) will be presenting our work at the (virtual) conference on December 7th.

    This paper introduces MINOTAuR (Mostly IN-Order Timing predictAble pRocessor), a RISC-V core designed to be formally-proven timing predictable.

    See the paper and the systemVerilog open source code, so you can download it and start your own experiments right away! We simulated the core using Questa, and managed to synthesize it on a Xilinx Zynq-7020 FPGA.

  • Welcome to our new PhD students: Michaël Adalbert and Alban Gruin

    Two new PhD students join our group this month:

    • Michaël Adalbert, funded by IRT System-X, will work on modeling GPUs to allow the WCET analysis of GPU-accelerated code, in particular neural-networks.
    • Alban Gruin, funded by MESR, will work on the design of timing-predictable processors
  • Thomas Carle gives a lecture at ETR 2021

    Thomas Carle will give a lecture at the French Summer School on Real-Time Systems (ETR 2021): A quick introduction to Worst-Case Execution Time analysis: from classic methods to open problems

  • eXecution Decision Diagrams presented by Zhenyu Bai at COMPAS 2021

    Zhenyu Bai will present his work on microarchitectural-level timing analysis using eXecution Decision Diagrams (XDDs) at the French COMPAS conference on July 7, 2021. 

  • RISC-V Student Contest

    Our students Michaël Adalbert and Alban Gruin, with their colleagues Quentin Nouvel and Reyyan Tekin, have won the Prix Spécial du Jury in the 1st RISC-V Student Contest sponsored by Thales, the French GDR SoC2 and the CNFM.