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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A hardware implementation of a Ravenscar-compliant run-time kernel


    Contributors:


    Publication date :

    2003-01-01


    Size :

    638088 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    A Hardware Implementation of a Ravenscar-Compliant Run-Time Kernel

    Silbovitz, A. / IEEE / AIAA | British Library Conference Proceedings | 2003


    Prototyping the Ravenscar Profile for the Beagle2 Mars Lander

    Ward, R. / EUROSPACE / Centre National d'Etudes Spatiales et al. | British Library Conference Proceedings | 2000


    Mission-Critical On-Board Software Using the Ada 95 Ravenscar Profile

    Ruiz, J. F. / Eurospace | British Library Conference Proceedings | 2005


    A CCA-compliant Nuclear Power Plant Simulator Kernel

    Diaz, M. / Garrido, D. / Romero, S. et al. | British Library Conference Proceedings | 2005


    Implementing and evaluation of an OSEK/VDX-compliant configurable real-time kernel

    Chen, Tianzhou / Chen, Wei / Wang, Xiang et al. | Tema Archive | 2005