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 …

Partitioned software architectures were conceived to fulfill security and avionics
requirements where predictability is extremely important. Both, the availability of new …

The complexity of industrial embedded systems is increasing continuously. Companies try to
keep a leading position by offering additional functionalities and services. Systems are to be …

The standardization of the physical aspects of nanosatellites (also known as CubeSats) and
their wide adoption in academia and industry has made the mass production and availability …

In any mechatronic system, faults can occur. Likewise also in the MMX rover, which is a
wheeled rover mutually developed by CNES (Centre national d'études spatiales) and DLR …

The growing complexity of the payload onboard satellite software experimented during the
last years has raised the interest of the CNES and the ESA to explore the possibility of using …

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 …

The ARINC 653 standard defines an Integrated Modular Avionics (IMA) architecture for
building complex systems consisting of several real-time applications with different levels of …

There are a number of research and development activities that are exploring Time and
Space Partition (TSP) to implement safe and secure flight software. This approach allows to …

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 …