An IRIT publication selected as an outstanding paper at the RTSS 2021 conference

Congratulations to Christine ROCHANGE, Alban GRUIN, Thomas CARLE and Hugues CASSÉ from the TRACES (Architecture and Compilation for Embedded Systems) team of the Architecture, Systems and Networks (ASR) department, whose work has been selected as an outstanding paper at the 2021 IEEE Real-Time Systems Symposium (RTSS). 

The IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the field of real-time systems. It was held on December 7-10, 2021. It is a venue for researchers and practitioners to present innovations covering all aspects of real-time systems, including theory, design, analysis, implementation, evaluation, and experience.

The paper “Speculative Execution and Timing Predictability in an Open Source RISC-V Core” presents MINOTaUR, a RISC-V core that is formally proven to be predictable: not being subject to temporal anomalies, it allows to drastically simplify the temporal analysis of tasks running on a multi-core processor by allowing a decoupling between the analysis of execution time and the analysis of shared memory access latencies. The MINOTaUR description in SystemVerilog is available in open-source and can be synthesized on a FPGA (Field Programmable Gate Arrays).