Skip to main content


Fitting an EDF based scheduling approach to componentised real(-time) systems


Stefan Petters, Martin Lawitzky, Kevin Elphinstone and Ryan Heffernan



TU Munich


Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in systems research. This paper extends the unified rate-based scheduling framework RBED in several dimensions to fit the requirements of such systems. First, we have removed the requirement of the deadline of a task being equal to its period. Second, we introduce inter-process communication and end-to-end deadlines, reflecting the need to communicate and avoid fragmentation of the system through deadline partitioning. Additionally we also discuss server tasks, general I/O management, budget replenishment and low level details to deal with the physical reality of real systems work.

BibTeX Entry

    publisher        = {IEEE Computer Society Press},
    author           = {Petters, Stefan and Lawitzky, Martin and Elphinstone, Kevin and Heffernan, Ryan},
    month            = nov,
    editor           = {{Steve Goddard}},
    year             = {2008},
    keywords         = {real-time, scheduling, operating system, real-time analysis },
    title            = {Fitting an {EDF} based Scheduling Approach to Componentised Real(-Time) Systems},
    booktitle        = {IEEE Real-Time Systems Symposium},
    address          = {Barcelona, Spain}


Served by Apache on Linux on seL4.