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…