7 citations · 31 across the 19 of their papers we have counts for
Showing cs.OSShow all
2 papers · 1 filter
cs.OS2024★ 1 cited
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…
cs.OS2011★ 4 cited
A faster exact multiprocessor schedulability test for sporadic tasks
Markus Lindström, Gilles Geeraerts, Joël Goossens
Baker and Cirinei introduced an exact but naive algorithm, based on solving a state reachability problem in a finite automaton, to check whether sets of sporadic hard real-time tas…