Overview

AIR is a high-performance, real-time hypervisor tailored for safety-critical embedded software in space systems. Leveraging Time and Space Partitioning (TSP) and adhering to the Integrated Modular Avionics (IMA) paradigm, AIR ensures robust performance, safety, and flexibility for spacecraft operations. It supports ARINC 653 compatibility, enabling seamless integration and modernization of space systems. AIR’s resource-sharing capabilities allow multiple avionics applications to run independently on shared hardware, maximizing efficiency while safeguarding operational integrity.

Features and Capabilities

• Integrated Modular Avionics (IMA): Simplifies system design with a modular, standardized approach.
• ARINC 653 Compliance: Ensures compatibility and smooth integration with existing space systems.
• Advanced TSP (Time and Space Partitioning): Allows independent, concurrent operation of multiple applications on shared hardware.
• Multicore and Multiprocessor Support: Optimized for modern computing architectures.
• Wide Architecture Compatibility: Supports SPARC v8, ARM v7, and RISC-V.
• Robust Resource Isolation: Ensures each application runs securely and autonomously.
• Broad I/O Interface Support: Includes SpaceWire, Ethernet, MIL-STD-1553, and CAN interfaces.
• Support for RTOS and Bare Metal: Compatible with RTEMS5 and RTEMS48i for diverse development environments.
• Open Development Environment: Offers remote access to a dedicated avionics lab with supported boards like gr740, leon3/4, and zynqz1.
• Scalable Safety Features: Designed for critical satellite operations requiring high reliability and performance.