9 citations · 15 across the 4 of their papers we have counts for
5 papers
A WCET-aware cache coloring technique for reducing interference in real-time systems
Fabien Bouquillon, Clément Ballabriga, Giuseppe Lipari +1
The predictability of a system is the condition to give saferbound on worst case execution timeof real-time tasks which are running on it. Commercial off-the-shelf(COTS) processors…
A C-DAG task model for scheduling complex real-time tasks on heterogeneous platforms: preemption matters
Houssam-Eddine Zahaf, Nicola Capodieci, Roberto Cavicchioli +2
Recent commercial hardware platforms for embedded real-time systems feature heterogeneous processing units and computing accelerators on the same System-on-Chip. When designing com…
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra
Clément Ballabriga, Julien Forget, Giuseppe Lipari
In this paper we propose a novel methodology for static analysis of binary code using abstract interpretation. We use an abstract domain based on polyhedra and two mapping function…
Symbolic Computation of the Worst-Case Execution Time of a Program
Clément Ballabriga, Julien Forget, Giuseppe Lipari
Parametric Worst-case execution time (WCET) analysis of a sequential program produces a formula that represents the worst-case execution time of the program, where parameters of th…
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
Youcheng Sun, Romain Soulat, Giuseppe Lipari +2
Parametric analysis is a powerful tool for designing modern embedded systems, because it permits to explore the space of design parameters, and to check the robustness of the syste…