论文信息 - The design and implementation of the open Ravenscar kernel

The design and implementation of the open Ravenscar kernel

This paper describes the design and implementation of Open Ravenscar Kernel (ORK), an open-source real-time kernel of reduced size and complexity, for which users can seek certification for mission-critical space applications. The kernel supports Ada 95 tasking on an ERC32 (SPARC v7) architecture in an efficient and compact way. It is closely integrated with the GNAT runtime library and other tools.

Juan Antonio de la Puente | Juan Zamorano | Rodrigo Pardo García | Ramon A. Suarez Fernandez | José F. Ruiz

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

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

[3] David B. Whalley,et al. Fast context switches: compiler and architectural support for preemptive scheduling , 1995, Microprocess. Microsystems.

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

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

[6] Juan Zamorano,et al. ORK: An Open Source Real-Time Kernel for On-Board Software Systems , 2000 .

[7] B. A. Wichmann,et al. Guidance for the use of the Ada programming language in high integrity systems , 1998, ALET.

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

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

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

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