An Open Ravenscar Real-Time Kernel for GNAT

This paper describes the architecture of ORK, an open source real-time kernel that implements the Ravenscar profile for the GNAT compilation system on a bare ERC32 computer. The kernel has a reduced size and complexity, and has been carefully designed in order to make it possible to build reliable software for on-board space applications. The kernel is closely integrated with the GNAT runtime library, and supports Ada tasking in an efficient and compact way.

[1]  A. Burns,et al.  An experimental testbed for embedded real time Ada 95 , 1999, IRTAW '99.

[2]  Juan Antonio de la Puente,et al.  Real-time programming with GNAT: specialised kernels versus POSIX threads , 1999 .

[3]  José F. Ruiz,et al.  Implementing a New Low-Level Tasking Support for the GNAT Runtime System , 1999, Ada-Europe.

[4]  Brian Dobbing,et al.  The Ravenscar Tasking Profile—experience reporting , 1999 .

[5]  Jesus M. Gonzalez-Barahona,et al.  Real-time programming with GNAT: specialised kernels versus POSIX threads , 1999, IRTAW '99.

[6]  Alan Burns.  The Ravenscar Profile , 1999, ALET.

[7]  T. P. Baker,et al.  The GNU Ada runtime library (GNARL) , 1994, WADAS '94.

[8]  Theodore P. Baker,et al.  A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel , 1999, Ada-Europe.

[9]  Lars Asplund,et al.  The Ravenscar Profile and Implementation Issues , 1999 .

[10]  Barry A. Spinney,et al.  An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch , 1999, Ada-Europe.

[11]  Theodore P. Baker,et al.  A Linux kernel module implementation of restricted Ada tasking , 1999, IRTAW '99.

[12]  Frank Mueller,et al.  A Library Implementation of POSIX Threads under UNIX , 1993, USENIX Winter.

[13]  Alan Burns.  The Ravenscar Profile and implementation issues (session summary) , 1999 .

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