Implementing Execution-Time Clocks for the Ada Ravenscar Profile

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.

[1]  Krithi Ramamritham,et al.  Advances in Real-Time Systems , 1993 .

[2]  Alfred Strohmeier,et al.  Reliable Software Technologies — Ada-Europe 2003 , 2003, Lecture Notes in Computer Science.

[3]  Alan Burns,et al.  Guest Editorial: A Review of Worst-Case Execution-Time Analysis , 2000, Real-Time Systems.

[4]  José F. Ruiz,et al.  Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels , 2001, Ada-Europe.

[5]  Alan Burns,et al.  The Ravenscar Tasking Profile for High Integrity Real-Time Programs , 1998, Ada-Europe.

[6]  Michael González Harbour,et al.  Extending Ada's real-time systems annex with the POSIX scheduling services , 2001 .

[7]  D. H. Mellor,et al.  Real time , 1981 .

[8]  José F. Ruiz,et al.  An Open Ravenscar Real-Time Kernel for GNAT , 2000, Ada-Europe.

[9]  Mario Aldea Rivas,et al.  Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications , 2001, Ada-Europe.

[10]  Juan Antonio de la Puente,et al.  Execution-time clocks and Ravenscar kernels , 2003 .

[11]  Alan Burns,et al.  Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.

[12]  Alan Burns,et al.  Preemptive priority-based scheduling: an appropriate engineering approach , 1995 .

[13]  Tullio Vardanega.  Development of on-board embedded real-time systems: an engineering approach , 1998 .

[14]  Juan Antonio de la Puente,et al.  Session: status and future of the Ravenscar profile , 2003 .

[15]  Alan Burns,et al.  Report of session: generating new AIs , 2003 .

[16]  Hubert B. Keller,et al.  Reliable Software Technologies Ada-Europe 2000 , 2000, Lecture Notes in Computer Science.

[17]  Tullio Vardanega,et al.  Report of session: current real-time AIs , 2003 .