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.
A hardware implementation of a Ravenscar-compliant run-time kernel
Digital Avionics Systems Conference, 2003. DASC '03. The 22nd ; 1 ; 3.A.3-31-10 vol.1
2003-01-01
638088 byte
Conference paper
Electronic Resource
English
A Hardware Implementation of a Ravenscar-Compliant Run-Time Kernel
British Library Conference Proceedings | 2003
|Prototyping the Ravenscar Profile for the Beagle2 Mars Lander
British Library Conference Proceedings | 2000
|Mission-Critical On-Board Software Using the Ada 95 Ravenscar Profile
British Library Conference Proceedings | 2005
|A CCA-compliant Nuclear Power Plant Simulator Kernel
British Library Conference Proceedings | 2005
|Implementing and evaluation of an OSEK/VDX-compliant configurable real-time kernel
Tema Archive | 2005
|