A time and space partitioned avionics real-time file system

The ARINC-653 standard, dictating the use of time and space partitioning in real-time avionics systems, has been widely embraced by the industry. We present the design of real-time file system (RTFS), a file system that complies with the ARINC-653 standard and the emerging standard for a file system for ARINC-653. RTFS provides realtime accesses to data stored on a variety of mass storage device. In addition to an interface complying with emerging standard, RTFS provides an application interface that complies with a subset of the POSIX standard. RTFS is implemented as a normal ARINC-653 partition. Task partitions communicate their file operation requests to RTFS via queuing ports; such ports are also used to deliver the responses from RTFS to the task partitions. The temporal behavior of RTFS is predictable and the response times for file operations are bounded. The design of RTFS handles a mix of hard and soft real-time file access requests. RTFS implements metadata journaling using on-board non-volatile memory devices to provide fast file updates and fast file system recovery on faults. Finally, RTFS includes facilities to support network-centric operations and a set of design and maintenance tools. This paper overviews the design of RTFS and describes the realization of the many unique features of RTFS.