Partitioned software architectures were conceived to fulfill security and avionics requirements where predictability is extremely important. Both, the availability of new processors and an increased necessity of security, have opened new possibilities to use efficiently this approach. Avionic industry has consolidated the Integrated Modular Avionics (IMA) as a solution to manage the software growth in functionality and in efficiency. Now, the aerospace sector is adapting these concepts on its developments. One of the solutions used to achieve partitioned systems is based on virtualisation techniques. In this paper we present XtratuM, a bare-metal hypervisor which implements para-virtualization and dedicated device techniques. XtratuM provides a virtual machine that is 'near' the native one. It permits to execute a set of partitions, containing each one an operating systems and its applications. Security is based on the temporal and spatial isolation properties provided by the hypervisor. This paper describes the main design criteria used to achieve temporal and spatial partition isolation and an approach to extend the trusted environment from the hardware level to the hypervisor level in order to verify the temporal and spatial isolation properties.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach


    Contributors:
    Crespo, A. (author) / Ripoll, I. (author) / Masmano, M. (author)


    Publication date :

    2010


    Size :

    6 Seiten, 11 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Hypervisor for Common Unmanned System Architecture

    HARTY DAVID / MILLER DOUGLAS ALLYN / HILLEN KENNETH | European Patent Office | 2020

    Free access

    METHOD FOR CREATING A HYPERVISOR UNIT FOR EMBEDDED SYSTEMS

    BORG ANDREW / MORGAN GARY / BROEDE HOLGER et al. | European Patent Office | 2017

    Free access

    Method for creating a hypervisor unit for embedded systems

    BORG ANDREW / MORGAN GARY / BROEDE HOLGER et al. | European Patent Office | 2019

    Free access

    Method for operating hypervisor and component for operating hypervisor

    HEJL ANDREW / SCHWEIZER MARTIN | European Patent Office | 2023

    Free access