9 citations · 29 across the 8 of their papers we have counts for
9 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…
Migrate when necessary: toward partitioned reclaiming for soft real-time tasks
Houssam Eddine Zahaf, Giuseppe Lipari, Luca Abeni +1
This paper presents a new strategy for scheduling soft real-time tasks on multiple identical cores. The proposed approach is based on partitioned CPU reservations and it uses a rec…
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…
Real-Time scheduling: from hard to soft real-time systems
Giuseppe Lipari, Luigi Palopoli
Real-time systems are traditionally classified into hard real-time and soft real-time: in the first category we have safety critical real-time systems where missing a deadline can…
Parallel and sequential reclaiming in multicore real-time global scheduling
Luca Abeni, Giuseppe Lipari, Andrea Parri +1
When integrating hard, soft and non-real-time tasks in general purpose operating systems, it is necessary to provide temporal isolation so that the timing properties of one task do…
Toward Parametric Timed Interfaces for Real-Time Components
Youcheng Sun, Giuseppe Lipari, Étienne André +1
We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is…
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…