This paper introduces an extension to the Open Avionics Architecture Model (OAAM) that improves modeling of virtualization techniques like partitions and containers. Integrated Modular Avionics (IMA) systems, which host multiple systems on generalized and distributed devices, require strict temporal and spatial partitioning of shared resources. While OAAM aids in planning and configuring avionics platforms, it lacks explicit modeling of partitioning concepts. Our extension adds a virtualization layer to OAAM, enabling the modeling of various partitioning mechanisms, including ARINC653 partitions and Xen DomUs. This layer supports generic virtualization, allowing for future technologies without updating OAAM. The extended model was developed and refined through use cases and expert consultations, resulting in the introduction of Virtual elements for comprehensive modeling. The new layer allows users to create partitions, define module and partition schedules, and allocate functions to virtual or physical devices. It supports complex nested virtual environments and enhances OAAM's capabilities to describe diverse virtualization scenarios, aiding in system configuration and application allocation. This development prepares OAAM for generating configuration data for various target systems, including Xen and VxWorks653. We successfully validated the extension against a use case for an IMA platform and one for a Xen-based nested virtualization.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Describing Virtualization in Avionics Systems with an Extended Open Avionics Architecture Model


    Contributors:


    Publication date :

    2024-09-29


    Size :

    325524 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Avionics Open Systems Architecture Standardization

    Shepherd, Karl / Wills, Jeremy | British Library Conference Proceedings | 2018


    Open System Avionics Architecture

    Roark | Online Contents | 1995



    MILS virtualization for Integrated Modular Avionics

    Kleidermacher, David / Wolf, Mike | IEEE | 2008


    Applying virtualization to avionics systems — The integration challenges

    Gaska, Thomas / Werner, Brian / Flagg, David | IEEE | 2010