Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

    Conference, Proceedings of the DASIA 2005 conference: data systems in aerospace ; 2005 ; Edinburgh



    Publication date :

    2005-01-01


    Size :

    P27


    Remarks:

    Held on CD-ROM. Shelved in Conference Index. Title from title screen.




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Prototyping the Ravenscar Profile for the Beagle2 Mars Lander

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


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

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


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

    Silbovitz, A. / Lundqvist, I.K. | IEEE | 2003


    Software Development Standard for Mission Critical Systems

    R. J. Adams / S. Eslinger / K. L. Owens et al. | NTIS | 2014