Towards periodic budgeting in real-time calculus
Pjl Pieter Cuijpers, Reinder J. Bril · TU/e Research Portal · 2006
In this report, we extend the real-time calculus model with a periodic budgeting mechanism known as deferrable service.Based on this extended model, we prove a schedulability theorem for a real-time task under a deferrable server.Using this theorem, we show by means of an example that existing schedulability analysis for real-time tasks under a deferrable server is pessimistic rather than exact.