Implementing and Verifying EDF Preemption-Level Resource Control

  • Mark Louis Fairbairn
  • Alan Burns
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7308)


To support Earliest Deadline First (EDF) dispatching of application tasks the Ada language has had to incorporate Baker’s Stack Resource Protocol (SRP). This protocol has proved problematic both in terms of its language definition and implementation. This paper proposes a means of verifying the implementation of complex language features. It describes a prototype tool that allows a comparison to be made between the output of an executing program and a diverse simulator that directly implements EDF+SRP. The tool creates a collection of cases (scenarios); for each of which a program is automatically generated (and executed) and a separate simulation script produced. Tests on an existing run-time for Ada has shown that in certain circumstances an Ada program and its corresponding simulation diverge.


real-time EDF resource control 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers 39(9), 1175–1185 (1990)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Baker, T.P.: A Stack-Based Resource Allocation Policy for Realtime Processes. In: IEEE Real-Time Systems Symposium, pp. 191–200 (1990)Google Scholar
  3. 3.
    Rivas, M.A.: (February 2010),
  4. 4.
    Zerzelidis, A., Burns, A., Wellings, A.J.: Correcting the EDF protocol in Ada 2005. In: 13th International Workshop on Real-time Ada, Vermont (2007)Google Scholar
  5. 5.
    Tucker Taft, S., Duff, R.A., Brukardt, R.L., Plödereder, E., Leroy, P.: Ada 2005 Reference Manual. LNCS, vol. 4348. Springer, Heidelberg (2006)Google Scholar
  6. 6.
  7. 7.
    ActiveState Software (April 2010),
  8. 8.
    Fairbairn, M.L.: An Assessment of Ada’s new EDF Facilities, MEng Report. University of York, UK (2010),

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Mark Louis Fairbairn
    • 1
  • Alan Burns
    • 1
  1. 1.Department of Computer ScienceUniversity of YorkUK

Personalised recommendations