Xtratum: an Open Source Hypervisor for Tsp Embedded Systems in Aerospace
نویسندگان
چکیده
XtratuM is an hypervisor designed to meet safety critical requirements. XtratuM 2.1.0 is a redesign of the former version XtratuM 2.0 (for x86 architectures) to meet safety critical requirements. It has been ported to SPARC v8 arquitecture and specially to the to the LEON2 processor, which is the reference platform for the spatial sector. Adaptation involves a strong effort in redesign to be closer to the ARINC-653 standards. As far as we know, XtratuM is the first hypervisor for the SPARC v8 arquitecture. In this paper, the main design aspects are discussed and the internal architecture described. An initial evaluation of the most significant metrics is also provided.
منابع مشابه
XtratuM: a Hypervisor for Safety Critical Embedded Systems
XtratuM is an hypervisor designed to meet safety critical requirements. Initially designed for x86 architectures (version 2.0), it has been strongly redesigned for SPARC v8 arquitecture and specially for the to the LEON2 processor. Current version 2.2, includes all the functionalities required to build safety critical systems based on ARINC 653, AUTOSTAR and other standards. Although XtratuMdoe...
متن کاملXtratuM for LEON3: an Open Source Hypervisor for High Integrity Systems
The growing complexity of the payload on-board satellite software experimented during the last years has raised the interest of the CNES and the ESA to explore the possibility of using a TSPbased architecture as base of the payload software of its new generation satellites. Such a solution can be implemented by using different approaches: virtualization, μ-kernels, separation kernels. XtratuM i...
متن کاملOpen Source Implementation of Hierarchical Scheduling for Integrated Modular Avionics
This paper describes the porting of a Ravenscar compliant kernel (ORK+) to the hypervisor XtratuM to build up an open source ARINC 653 platform for avionics systems. The Integrated Modular Avionics (IMA) architecture requires a specialized operating system layer that provides temporal and spatial isolation between partitions. The ARINC 653 standard defines an architecture and an applications pr...
متن کاملConfiguration and Scheduling Tools for Tsp Systems Based on Xtratum
Hypervisor is a promising technology to build partitioned systems. However, it has to be adapted and customized to the requirements of the target application. Hypervisors are small software layers which can be designed to meet real-time and security properties. Its correctness can be sufficient to ensure the security of the system as a whole or, at least, the security of a set of trusted partit...
متن کاملDeveloping Embedded Control Systems with XtratuM - Application to Control the Attitude of a Mini-helicopter
Developing embedded control systems requires to have the possibility of analyzing and evaluating new control algorithms before their implementation in the final system as well as their robust operation once implemented. For that purpose, a generic platform composed by the hypervisor XtratuM and RTOS PaRTiKLe is introduced in this paper. The interaction between the user and the process is genera...
متن کامل