Deadlines are the most important events in real-time systems. Real-time programs must therefore be aware of deadlines, and be able to identify and react to missed deadlines. Moreover, Earliest Deadline First (EDF) is the most widely studied optimal dynamic scheduling algorithm for uniprocessor real-time systems. In this paper we explore how a resource sharing protocol (called the DFP -- Deadline Floor inheritance Protocol) which has been proposed for languages such as Ada can be incorporated into the language's definition. We also address the programming of systems that have mixed scheduling (e.g. fixed priority and EDF). The incorporation of DFP into the language requires some changes to current predefined packages. These changes are also of use in supporting the programming of deadline-aware systems even when not scheduling by EDF.

BibTex Entry

@inproceedings{Burns2014,
 author = {A. Burns and A.J. Wellings},
 booktitle = {Proceedings Reliable Software Technologies, Ada-Europe},
 editor = {L. George and T. Vardanega},
 pages = {107--118},
 publisher = {Springer},
 title = {Deadline-Aware Programming and Scheduling},
 volume = {LNCS 8454},
 year = {2014}
}