Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Kongress:

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



    Erscheinungsdatum :

    2003-01-01


    Format / Umfang :

    3A3


    Anmerkungen:

    IEEE cat nos 03CH37449



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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


    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 Archiv | 2005