ARINC 653 (Avionics Application Standard Software Interface) is a software specification for space and time partitioning in safety-critical avionics real-time operating systems (RTOS). It allows the hosting of multiple applications of different software levels on the same hardware in the context of an Integrated Modular Avionics architecture.
It is part of ARINC 600-Series Standards for Digital Aircraft & Flight Simulators.
- 1 Overview
- 2 History
- 3 Basic principles of partitioning
- 4 API services
- 5 Links to POSIX and ASAAC
- 6 References
- 7 See also
Each application software is called a partition and has its own memory space. It also has a dedicated time slot allocated by the APEX API. Within each partition, multitasking is allowed. The APEX API provides services to manage partitions, processes and timing, as well as partition/process communication and error handling.
VisualSim ARINC 653 is a system simulation library that contains the model of the real-time operating system, components to emulate the software tasks, hardware components and analysis tools. The models can be used for timing analysis, power consumption and functional correctness.
The initial version of ARINC 653 was published on October 10, 1996.
Supplement 1 was published on January 1997 and introduced the concepts of APEX and Time and Space partitioning.
Supplement 2 was published in 3 parts between March 2006 and January 2007:
- Part 1 (mandatory services): ARINC 653 partition management, Cold start and warm start definition, Application software error handling, ARINC 653 compliance, Ada and C language bindings;
- Part 2 (optional services): File system access, Data logging, Service Access points, ...
- Part 3 (Conformity Test Specification);
Current Organization of Standard
- Part 0 - Introduction to ARINC 653 (currently at revision 1, released June 2013)
- Part 1 - Required Services (currently at revision 3, released 15 Nov 2010)
- Part 2 - Extended Services (currently at revision 2, released June 2012)
- Part 3 - Conformity Test Specification (currently at revision 1, released 16 Oct 2006)
- Part 4 - Subset Services (currently at revision 1, released June 2012)
- Part 5 - Core Software Recommended Capabilities (currently at revision 1, released Dec 2014)
Basic principles of partitioning
ARINC 653 Platform
An ARINC 653 platform contains:
- A hardware allowing real-time computing deterministic services.
- An abstraction layer managing the timer and space partitioning constraints of the platform (memory, CPU, Input/output).
- An implementation for the ARINC 653 services (the APEX API).
- An interface to be able to configure the platform and its domain of use.
- Various instrumentation tools.
Initialization of an ARINC 653 partition creates resources used by the partition. Resources creation (PROCESS, EVENT, SEMAPHORE...) is performed by calling API services named CREATE_xxxx.
The API allows the error handler to stop a faulty process (STOP_SELF). In that case, the RTOS scheduler will elicit the next process with the highest priority.
ARINC 653 does not specify how the scheduler should behave if the error handler does not stop a faulty process. In some (theoretical) cases, this could lead to an infinite loop between the faulty process and the error handler.
The error handler can obtain information about the source and the context of the exception.
Each partition can be in several activation modes:
- COLD_START and WARM_START: Only the initialization process is executed,
- NORMAL: The initialization process is stopped, and the other partitions processed are called by the RTOS scheduler depending on their priority,
- IDLE: No process is executed. However an implementation could still in theory execute a hidden process of the lowest priority, for example to start an infinite loop.
The SET_PARTITION_MODE service allows to manage these states. It can be called by any process in the partition. Entering the IDLE state is irreversible for the partition. Only an external event (such as a platform restart) can change the state to another mode when the partition is in this state.
The processes of a partition
Each partition has at least one process.
Process scheduling is preemptive. The scheduler is called either by a timer or by API services.
- Partition management
- Process management
- Time management
- Inter-partition communication
- Intra-partition communication
- Error handling
No ARINC 653 services are provided for the memory management of partitions. Each partition has to handle its own memory (still under the constraints of memory partitioning enforced by ARINC 653).
Each service returns a RETURN_CODE value which indicates if the call has been successful:
- NO_ERROR: the service performed nominally after a valid request
- NO_ACTION: the state of the system has not changed after executing the service
- NOT_AVAILABLE: the service is temporarily unavailable
- INVALID_PARAM: at least one of the service's parameters is invalid
- INVALID_CONFIG: at least one of the service's parameters is incompatible with the current configuration of the system
- INVALID_MODE: the service is incompatible with the current mode of the system
- TIMED_OUT: the delay for the execution of the service has expired
Links to POSIX and ASAAC
For example, the following call defined in ASAAC:
would be translated in ARINC 653 by:
and also in POSIX by:
- "ARINC 653 - An Avionics Standard for Safe, Partitioned Systems" (PDF). Wind River Systems / IEEE Seminar. August 2008. Retrieved 2009-05-30.
- "VisualSim ARINC 653 system simulation library"
- "APEX Subcommittee". AEEC. August 2008. Retrieved 2013-10-20.
- "Product Focus: ARINC 653 and RTOS". aviationtoday.com. 2004-07-01. Retrieved 2009-05-30.
- "Avionics Application Software Standard Interface: ARINC Specification 653 Part 0". Aeronautical Radio, Inc. June 2013.
- "Avionics Application Software Standard Interface: ARINC Specification 653P1-3, Required Services". Aeronautical Radio, Inc. 2010-11-15. Retrieved 2013-10-20.}
- "Avionics Application Software Standard Interface: ARINC Specification 653P2-2, Part 2, Extended Services". Aeronautical Radio, Inc. 2012-06-01. Retrieved 2012-10-20.
- "Avionics Application Software Standard Interface: ARINC Specification 653P3, Conformity Test Specification". Aeronautical Radio, Inc. 2006-10-20.
- "Avionics Application Software Standard Interface: ARINC Specification 653 Part 4, Subset Services". Aeronautical Radio, Inc. 2012-06-01. Retrieved 2013-10-20.
- "ARINC Store". ARINC IA. 2014-12-01. Retrieved 2015-04-23.
- "Flexibility and Manageability of IMS Projects" (PDF). University of York. Retrieved 2008-07-27.