Robust Spatial and Temporal Partitioning under ARINC 653: Hosting Mixed Criticality

Core aerospace engineering and protocols for ARINC 653 Partitioning.

The Evolution from Federated to Integrated Avionics

Federated avionics assigned a separate physical box (LRU) to every function—one for autopilot, one for fuel management, one for flight displays—resulting in massive aircraft weight. Integrated Modular Avionics consolidates multiple applications onto shared compute nodes.

Enforcing ARINC 653 Mathematical Isolation

AvionicsNodes implements ARINC 653 robust partitioning: each application executes within an isolated virtual partition with hard-scheduled CPU windows and physically locked memory pages. Even if a passenger entertainment app crashes into an infinite loop, the DAL A fly-by-wire partition continues executing uninterrupted.

Spatial Partitioning: Memory Management Unit (MMU) isolating process address spaces.
Temporal Partitioning: Static, cyclical time-slice scheduling with zero preemption jitter.
Health Monitoring (HM): Trapping software exceptions locally without rebooting the entire LRU.
Inter-Partition Communication: Standardized sampling and queuing ports for safe data exchange.

Aerospace-Domains ansehen