Towards budgeting in real-time calculus : deferrable servers

P.J.L. Cuijpers, R.J. Bril

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)
205 Downloads (Pure)


Budgeting of resources is an often used solution for guaranteeing performance of lower priority tasks. In this paper, we take a formal approach to the modeling of a deferrable server budgeting strategy, using real-time calculus. We prove a scheduling theorem for deferrable servers, and as a corollary show that an earlier claim of Davis and Burns, that periodic servers dominate deferrable servers with respect to schedulability, no longer holds when the context of the comparison is slightly generalized.
Original languageEnglish
Title of host publicationProceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2007) 3-5 October 2007, Salzburg, Austria
EditorsJ.F. Raskin, P.S. Thiagarajan
Place of PublicationBerlin, Germany
ISBN (Print)978-3-540-75453-4
Publication statusPublished - 2007
Eventconference; FORMATS 2007, Salzburg, Austria; 2007-10-03; 2007-10-05 -
Duration: 3 Oct 20075 Oct 2007

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conferenceconference; FORMATS 2007, Salzburg, Austria; 2007-10-03; 2007-10-05
OtherFORMATS 2007, Salzburg, Austria


Dive into the research topics of 'Towards budgeting in real-time calculus : deferrable servers'. Together they form a unique fingerprint.

Cite this