An integrated modular avionics development environment

Abstract

The ARINC 653 standard has taken a leading role within the aeronautical industry in the development of safety-critical systems based on the Integrated Modular Avionics (IMA) concept. One of the main promises of IMA is cost saving in reduced development, integration and verification and validation effort. To exploit the full potential of cost savings, it is necessary to establish an effective way to prototype, develop, test and analyse on-board applications without having access to the final IMA target platform for all engineers.Target platforms are usually extremely expensive considering hardware and software prices as well as training costs. This paper describes the architecture of the Integrated Modular Avionics Development Environment (IMADE) that is based on Linux and the ARINC 653 simulator Simulated IMA (SIMA) that was developed by Skysoft

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

“…However, it is difficult to use these information and to check exist atomicity races in the applications, because detecting atomicity races requires to understand parallel executions of processes and to predict their nondeterministic behaviors. Therefore, in general, a range of automatic detection tools based on sophisticated techniques [10][11][12][13][14][15][16][17][18][19][20][21][22][23][24][25][26][27] is employed to locate atomicity races which exist in ARINC 653 applications. A representative tool for detecting atomicity races in the avionics application is CodeSonar.…”

“…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.…”

“…It is important to detect atomicity races [10][11][12][13] in the applications for the safety critical of avionics systems. CodeSonar [14] is a representative tool which is widely used to identify the concurrency bugs, such as data races and deadlocks, as well as sequential errors based on the static analysis techniques [15][16][17] using source codes.…”

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.…”