Linux-based memory efficient ARINC 653 partition scheduler

Abstract

Development of the space industry has led to a diversity of specialized electronics-units implemented on space system. However, this provoked new problems such as increased system's complexity and the size. As a solution to the problem, the Integrated Modular Avionics (IMA) architecture and ARINC 653 standard have been suggested. This paper introduces a Linux-based memory efficient ARINC 653 partition scheduler, which employs fixed-priority preemptive scheduling algorithm for partitions scheduling. The implemented partition scheduler has small memory footprint for each partition and produces low partition switching overhead. The prototype was executed on a LEON4 processor, which is the European Space Agency (ESA) Next Generation Multicore Processor (NGMP) in the space sector. In evaluation, we analyzed execution trace, memory footprint and scheduling overhead.

Portable and Configurable Implementation of ARINC-653 Temporal Partitioning for Small Civilian UAVs

“…Many industrial and academic organizations implemented the ARINC-653 standard. Most of commercial products and few academic instances [11], [21] were implemented at the kernel-space; thus, these showed very low overheads but had less flexibility and portability [12]. A challenging approach was to employ the virtualization technology for partitioning [7]- [9].…”