TY - GEN
T1 - Deadline-aware programming and scheduling
AU - Burns, Alan
AU - Wellings, Andy
PY - 2014
Y1 - 2014
N2 - 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 the DFP into Ada requires some changes to the current predefined packages. These changes are also of use in supporting the programming of deadline-aware systems even when not scheduling by EDF.
AB - 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 the DFP into Ada requires some changes to the current predefined packages. These changes are also of use in supporting the programming of deadline-aware systems even when not scheduling by EDF.
UR - http://www.scopus.com/inward/record.url?scp=84903649524&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-08311-7_9
DO - 10.1007/978-3-319-08311-7_9
M3 - Conference contribution
AN - SCOPUS:84903649524
SN - 9783319083100
VL - 8454 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 107
EP - 118
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PB - Springer
T2 - 19th International Conference on Reliable Software Technologies, Ada-Europe 2014
Y2 - 23 June 2014 through 27 June 2014
ER -