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

Abstract

The ARINC-653 standard defines temporal partitioning that enables multiple avionics applications to execute independently from each other without interference in terms of CPU resources. Though partitioning has been mainly discussed from the viewpoint of manned aircraft, it can also efficiently integrate multiple applications on civilian Unmanned Aerial Vehicles (UAVs) that have even severer limitations on size, weight, power, and cost. In order to employ ARINC-653 temporal partitioning to civilian UAVs, its implementation must be flexible enough to be applied to diverse run-time software environments and computing hardware platforms. In this paper, we suggest a portable and configurable implementation of ARINC-653 for small-sized civilian UAVs aiming for low cost, easy development, and easy extension. Our implementation provides the Operating System (OS) abstraction layer that defines the essential OS-level features and the OS-independent interfaces to the upper layer that actually implements the ARINC-653 standard. Our implementation is also modularized so that the policies of resource management in CPU scheduling and memory allocation can be easily extended and selectively configured. In addition, we implement the advanced resource management schemes to promote the benefits of multi-core processors that are already widely deployed in Commercial Off-The-Shelf (COTS) systems. We show that our ARINC-653 implementation is portable across different OS, such as Linux and RTEMS, reusing the most of source codes thanks to the layered and modular design. We also analyze the overheads of the ARINC-653 APEX interfaces and multi-core scheduling. Moreover, we conduct a case study for a small-sized quad-copter.INDEX TERMS ARINC-653, integrated modular avionics, multi-core, portability, temporal partitioning, unmanned aerial vehicles.

RDMA-Based Sampling Port of ARINC-653

“…This section describes our design of RDMA-based sampling port. We implement the proposed design in an existing userlevel ARINC-653 implementation over Linux [13] by extending its configuration file format and inter-partition communication. Inside the ARINC-653 implementation, we invoke APIs provided by libibverbs [14] to exploit RDMA.…”