Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel



    Kongress:

    Conference, DAta systems in aerospace ; 2011 ; San Anton, Malta



    Erscheinungsdatum :

    2011-01-01


    Format / Umfang :

    31 pages


    Anmerkungen:

    Held in e-store (RMS)




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel

    Bremer, L. / Schreutelkamp, E. / European Space Agency | British Library Conference Proceedings | 2011


    Technology Requirements and Selection for Securely Partitioning OBSW

    Mendham, P. / Windsor, J. / Eckstein, K. et al. | British Library Conference Proceedings | 2010



    Validation of Securely Partitioned Systems over Multicore Architectures Based on XtratuM

    Coronel, J. / Tsagkaropoulos, M. / Mylonas, D. et al. | British Library Conference Proceedings | 2013


    Time and Space Partitioning in Spacecraft Avionics

    Windsor, James / Hjortnaes, Kjeld | IEEE | 2009