research
∙
03/22/2019
A WCET-aware cache coloring technique for reducing interference in real-time systems
The predictability of a system is the condition to give saferbound on wo...
share
research
∙
03/22/2019
A WCET-aware cache colouring technique for reducing interference in real-time systems
The predictability of a system is the condition to give saferbound on wo...
research
∙
01/08/2019
A C-DAG task model for scheduling complex real-time tasks on heterogeneous platforms: preemption matters
Recent commercial hardware platforms for embedded real-time systems feat...
research
∙
12/18/2017
Migrate when necessary: toward partitioned reclaiming for soft real-time tasks
This paper presents a new strategy for scheduling soft real-time tasks o...
research
∙
11/20/2017
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra
In this paper we propose a novel methodology for static analysis of bina...
research
∙
09/27/2017
Symbolic Computation of the Worst-Case Execution Time of a Program
Parametric Worst-case execution time (WCET) analysis of a sequential pro...
research
∙
12/07/2015
Parallel and sequential reclaiming in multicore real-time global scheduling
When integrating hard, soft and non-real-time tasks in general purpose o...
research
∙
12/07/2015
Real-Time scheduling: from hard to soft real-time systems
Real-time systems are traditionally classified into hard real-time and s...
research
∙
04/01/2014
Toward Parametric Timed Interfaces for Real-Time Components
We propose here a framework to model real-time components consisting of ...
research
∙
02/06/2013