Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles.

Simon Picard, Antonio Paolillo, Gilles Geeraerts, Jol Goossens

Browse the full RTNS paper archive.