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. Executiontime 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 runtime 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.
Cite
CITATION STYLE
Zamorano, J., Alonso, A., Pulido, J. A., & De La Puente, J. A. (2004). Implementing execution-time clocks for the ada ravenscar profile. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3063, pp. 132–143). Springer Verlag. https://doi.org/10.1007/978-3-540-24841-5_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
