The design and implementation of the open Ravenscar kernel

Authors:
Juan A. de la Puente;Juan Zamorano;José Ruiz;Ramón Fernández;Rodrigo García
Affiliations:
Department of Telematics Engineering, Technical University of Madrid, Spain;Department of Telematics Engineering, Technical University of Madrid, Spain;Department of Telematics Engineering, Technical University of Madrid, Spain;Department of Telematics Engineering, Technical University of Madrid, Spain;Department of Telematics Engineering, Technical University of Madrid, Spain
Venue:
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Year:
2001

Citing 0
Cited 13

New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Execution-time clocks and Ravenscar kernels

IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Ada 2005 code patterns for metamodel-based code generation

IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Implementing the new Ada 2005 real-time features on a bare board kernel

IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Increasing the determinism in real-time operating systems for ERC32 architecture

SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Running Ada on real-time linux

Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Implementing the new Ada 2005 timing event and execution time control features on the AVR32 architecture

Journal of Systems Architecture: the EUROMICRO Journal
An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller

Proceedings of the Conference on Design, Automation and Test in Europe
Efficient alternatives for implementing fixed-priority schedulers

Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Using the AADL to describe distributed applications from middleware to software components

Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
GNAT pro for on-board mission-critical space applications

Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Real-Time operating systems

Embedded Systems Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.