Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

    22nd, Digital avionics systems conference; 22nd DASC ; 2003 ; Indianapolis, IN



    Publication date :

    2003-01-01


    Size :

    3A3


    Remarks:

    IEEE cat nos 03CH37449



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




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

    Silbovitz, A. / Lundqvist, I.K. | IEEE | 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


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

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


    A CCA-compliant Nuclear Power Plant Simulator Kernel

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