DocumentCode
540989
Title
A hardware implementation of a Ravenscar-compliant run-time kernel
Author
Silbovitz, Anna ; Lundqvist, I. Kristina
Volume
1
fYear
2003
fDate
12-16 Oct. 2003
Abstract
The Ravenscar profile of Ada 95 was developed to support the use of tasking in mission critical applications while still keeping systems simple and easy to analyze. The GURKH project aims to exploit this model to provide a framework for developing mission critical embedded systems using system-on-chip (SoC) methodologies. This paper discusses the implementation of a formally modelled Ravenscar-compliant run-time kernel on an FPGA using the hardware description language VHDL.
Keywords
Ada; embedded systems; field programmable gate arrays; formal specification; hardware description languages; object-oriented languages; operating system kernels; system-on-chip; Ada 95; FPGA; GURKH project; Ravenscar profile; Ravenscar-compliant run-time kernel; SoC; VHDL; hardware description language; hardware implementation; mission critical application; mission critical embedded systems; system-on-chip;
fLanguage
English
Publisher
ieee
Conference_Titel
Digital Avionics Systems Conference, 2003. DASC '03. The 22nd
Conference_Location
Indianapolis, IN, USA
Print_ISBN
0-7803-7844-X
Type
conf
DOI
10.1109/DASC.2003.1245822
Filename
5731072
Link To Document