Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel



    Conference:

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



    Publication date :

    2011-01-01


    Size :

    31 pages


    Remarks:

    Held in e-store (RMS)




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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