Abstract
The capability to monitor the amount of processor time that is used by real-time tasks is crucial for building real-time systems that are robust with respect to worst case execution time estimations. Execution-time clocks and timers have been proposed to be added to the language in order to support this functionality. Since a wide class of systems which may benefit from this mechanism are likely to use the Ada tasking subset known as the Ravenscar profile, it is important to check that the proposed execution-time clocks can be implemented on top of the simplified run-time systems that are used to support this profile. This paper describes a pilot implementation of execution-time clocks for the ORK kernel, and gives some examples of their possible usage in Ravenscar programs.
This work has been supported by the Spanish Ministry of Science and Technology, project no. TIC2002-04123-C03-01.
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
Vardanega, T.: Development of on-board embedded real-time systems: An engineering approach. Technical Report ESA STR-260, European Space Agency (1999) ISBN 90-9092-334-2
Burns, A.: Preemptive priority based scheduling: An appropriate engineering approach. In: Son, S. (ed.) Advances in Real-Time Systems, Prentice-Hall, Englewood Cliffs (1994)
Burns, A., Dobbing, B., Romanski, G.: The Ravenscar profile for high integrity real-time programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol. 1411, p. 263. Springer, Heidelberg (1998)
Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar profile in high integrity systems. Technical Report YCS-2003-348, University of York (2003)
Puschner, P., Burns, A.: A review of worst-case execution time analysis. Real-Time Systems 18, 115–128 (2000)
Aldea, M., González-Harbour, M.: Extending Ada’s real-time systems annex with the POSIX scheduling services. In: Proceedings of the 10th International Real-Time Ada Workshop, Las Navas, Ávila, Spain, September 2000. Ada Letters, vol. XXI, pp. 20–26 (2000)
Aldea, M., González-Harbour, M.: MaRTE OS: An Ada kernel for real-time embedded applications. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol. 2043, pp. 305–316. Springer, Heidelberg (2001)
González-Harbour, M., Vardanega, T.: Report of session: Current real-time AIs. In: Proceedings of the 12th International Real-Time Ada Workshop (IRTAW 12). Ada Letters, vol. XXIII, pp. 22–23 (2003)
Burns, A., Vardanega, T.: Report of session: Generating new AIs. In: Proceedings of the 12th International Real-Time Ada Workshop (IRTAW 12). Ada Letters, vol. XXIII, pp. 93–95 (2003)
de la Puente, J.A., Zamorano, J.: Execution-time clocks and Ravenscar kernels. Ada Letters, vol. XXIII, pp. 82–86 (2003)
de la Puente, J.A., Ruiz, J.F., Zamorano, J.: An open Ravenscar real-time kernel for GNAT. In: Keller, H.B., Plödereder, E. (eds.) Ada-Europe 2000. LNCS, vol. 1845, pp. 5–15. Springer, Heidelberg (2000)
Zamorano, J., Ruiz, J.F., de la Puente, J.A.: Implementing Ada.Real Time.Clock and absolute delays in real-time kernels. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol. 2043, pp. 317–327. Springer, Heidelberg (2001)
Dobbing, B., de la Puente, J.A.: Session: Status and future of the Ravenscar profile. In: Proceedings of the 12th International Real-Time Ada Workshop (IRTAW 12). Ada Letters, vol. XXIII, pp. 55–57 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zamorano, J., Alonso, A., Pulido, J.A., de la Puente, J.A. (2004). Implementing Execution-Time Clocks for the Ada Ravenscar Profile. In: Llamosí, A., Strohmeier, A. (eds) Reliable Software Technologies - Ada-Europe 2004. Ada-Europe 2004. Lecture Notes in Computer Science, vol 3063. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24841-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-24841-5_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22011-4
Online ISBN: 978-3-540-24841-5
eBook Packages: Springer Book Archive