Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Baker, T.P.: A Stack-Based Resource Allocation Policy for Realtime Processes. In: IEEE Real-Time Systems Symposium, pp. 191–200 (1990)
Rivas, M.A.: (February 2010), http://marte.unican.es/
Zerzelidis, A., Burns, A., Wellings, A.J.: Correcting the EDF protocol in Ada 2005. In: 13th International Workshop on Real-time Ada, Vermont (2007)
Tucker Taft, S., Duff, R.A., Brukardt, R.L., Plödereder, E., Leroy, P.: Ada 2005 Reference Manual. LNCS, vol. 4348. Springer, Heidelberg (2006)
Ada Conformity Assessment Authority (April 2010), http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0055-1.txt?rev=1.1&raw=Y
ActiveState Software (April 2010), http://www.activestate.com/komodo/
Fairbairn, M.L.: An Assessment of Ada’s new EDF Facilities, MEng Report. University of York, UK (2010), http://www-users.cs.york.ac.uk/~burns/FairbairnReport.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fairbairn, M.L., Burns, A. (2012). Implementing and Verifying EDF Preemption-Level Resource Control. In: Brorsson, M., Pinho, L.M. (eds) Reliable Software Technologies – Ada-Europe 2012. Ada-Europe 2012. Lecture Notes in Computer Science, vol 7308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30598-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-30598-6_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30597-9
Online ISBN: 978-3-642-30598-6
eBook Packages: Computer ScienceComputer Science (R0)