A hardware implementation of a Ravenscar-compliant run-time kernel
Silbovitz, Lundqvist · 2003
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.