Title :
A hardware implementation of a Ravenscar-compliant run-time kernel
Author :
Silbovitz, Anna ; Lundqvist, I. Kristina
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;
Conference_Titel :
Digital Avionics Systems Conference, 2003. DASC '03. The 22nd
Conference_Location :
Indianapolis, IN, USA
Print_ISBN :
0-7803-7844-X
DOI :
10.1109/DASC.2003.1245822
