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.


    Zugriff

    Zugriff prüfen

    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:
    Silbovitz, A. (Autor:in) / Lundqvist, I.K. (Autor:in)


    Erscheinungsdatum :

    01.01.2003


    Format / Umfang :

    638088 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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


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

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


    A CCA-compliant Nuclear Power Plant Simulator Kernel

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