An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller

Authors:
Kristoffer Nyborg Gregertsen;Amund Skavhaug
Affiliations:
NTNU, Norway;NTNU, Norway
Venue:
Proceedings of the Conference on Design, Automation and Test in Europe
Year:
2009

Citing 5
Cited 5

The Ravenscar Profile

ACM SIGAda Ada Letters
The design and implementation of the open Ravenscar kernel

IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX

Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Guide for the use of the Ada Ravenscar Profile in high integrity systems

ACM SIGAda Ada Letters
GNAT pro for on-board mission-critical space applications

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

Execution-time control for interrupt handling

ACM SIGAda Ada Letters
Implementing the new Ada 2005 timing event and execution time control features on the AVR32 architecture

Journal of Systems Architecture: the EUROMICRO Journal
Improving the performance of execution time control by using a hardware time management unit

Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Execution time timers for interrupt handling

ACM SIGAda Ada Letters
An extended ravenscar profile for execution time control

ACM SIGAda Ada Letters

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper describes how an efficient and deterministic multitasking run-time environment supporting the Ravenscar tasking model of Ada 2005 was implemented on the Atmel AVR32 UC3A microcontroller. The open source GNU Ada Compiler (GNAT GPL 2007) was also ported to AVR32 as a part of this work, making a working Ada development environment available on the architecture for the first time.