40 citations · 128 across the 26 of their papers we have counts for
26 papers
Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles
Simon Picard, Antonio Paolillo, Gilles Geeraerts +1
This work addresses the problem of exact schedulability assessment in uniprocessor mixed-criticality real-time systems with sporadic task sets. We model the problem by means of a f…
Comments on "Gang EDF Schedulability Analysis"
Pascal Richard, Joël Goossens, Shinpei Kato
This short report raises a correctness issue in the schedulability test presented in Kato et al., "Gang EDF Scheduling of Parallel Task Systems", 30th IEEE Real-Time Systems Sympos…
A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks
Gilles Geeraerts, Joël Goossens, Thi-Van-Anh Nguyen
The online feasibility problem (for a set of sporadic tasks) asks whether there is a scheduler that always prevents deadline misses (if any), whatever the sequence of job releases,…
Synthesising Succinct Strategies in Safety Games
Gilles Geeraerts, Joël Goossens, Amélie Stainer
Finite turn-based safety games have been used for very different problems such as the synthesis of linear temporal logic (LTL), the synthesis of schedulers for computer systems run…
Partitioned scheduling of multimode multiprocessor real-time systems with temporal isolation
Joël Goossens, Pascal Richard
We consider the partitioned scheduling problem of multimode real-time systems upon identical multiprocessor platforms. During the execution of a multimode system, the system can ch…
On the periodic behavior of real-time schedulers on identical multiprocessor platforms
Emmanuel Grolleau, Joël Goossens, Liliana Cucu-Grosjean
This paper is proposing a general periodicity result concerning any deterministic and memoryless scheduling algorithm (including non-work-conserving algorithms), for any context, o…