Implementing the New Ada 2005 Real-Time Features on a Bare Board Kernel

A real-time kernel providing timing services is a key com-ponent of any real-time system. The current revision of the Ada standard provides a range of real-time mechanisms that can be used to ensure the required temporal behaviour of real-time tasks. However, kernel timing services must be im-plemented carefully in order to avoid overheads and inaccu-racies. This paper describes the implementation of the Ada timing services in an evolved version of the Open Raven-scar Kernel. The interrelation among the different timing mechanisms is also analysed and evaluated. 1