A portable ARINC 653 standard interface

Abstract

The ARINC 653 specification defines the functionality that an Operating System (OS) must guarantee to enforce robust spatial and temporal partitioning as well as an avionics application programming interface for the system.The standard application interface -the ARINC 653 Application Executive (APEX) -is defined as a set of software services a compliant OS must provide to avionics application developers. The ARINC 653 specification defines the interfaces and the behavior of the APEX but leaves implementation details to OS vendors. This paper describes an OS independent design approach of a Portable APEX interface. POSIX, as a programming interface available on a wide range of modern OS, will be used to implement the APEX layer. This way the standardization of the APEX is taken a step further: not only the definition of services is standardized but also its interface to the underlying OS. Therefore, the APEX operation does not depend on a particular OS but relies on a well defined set of standardized components. Inter-partition communication Interfaces:This module implements the communication means between processes in different partitions. All inter-partition communication is conducted via messages. When sent by user applications, messages are copied into local buffers. The underlying PMK is then responsible for actually transferring a given message to the corresponding buffer in the target partition, providing the physical means to activate message exchange between the source process and the outer destination.

An integrated modular avionics development environment

“…IMADE is used to simulate the AIR system, before it is actually available. Additionally, the AIR APEX interface shares some of the components of the IMADE simulator [7]. Figure 1 illustrates the relation of the mentioned projects to the IMADE where yellow indicates research projects funded by the Framework Programmes of the European Union and blue, projects funded or co-funded by the European Space Agency:…”

Configuration Tool for ARINC 653 Operating Systems

“…The ARINC 653 Specification [1 [3] has been developed as a standardized interface definition of real-time operating system to simplify the development of Integrated Modular Avionics (IMA) [4][5][6][7][8][9]. This standard specifies an Application Executive (APEX) which provides services comprised of a set of fifty-one routines to enable the development of portable applications on an IMA platform.…”

“…The ARINC 653 Specification [1][2][3] has been developed as a standardized interface definition of real-time operating system to simplify the development of IMA [4][5][6][7][8][9]. The ARINC 653 provides a strict and robust time and space partitioning [10][11][12] to guarantee the reliability of avionic systems by isolating the failures of the system.…”

AR653: Dynamic Detection Tool for Atomicity Races in ARINC 653 Applications

“…The ARINC 653 standard [1][2][3][4][5][6] for integrated modular avionics [6][7][8][9][10] defines four intra-partition communication services: buffer, blackboard, semaphore and event. The semaphore service creates an atomic execution region in the application and enables to control access to a shared resource by concurrent processes.…”