scope:

Purpose of Compliance Demonstration

ARINC Specification 653 Part 1 defines the basic set of services that addresses the necessary functionalities for core services, as well as the necessary facilities that have to be provided through the Application Programming Interface (API) between the application programs and the Operating System (OS). It describes the invocation of those services and the data structures with specified semantics to ensure the accurate binding and running of the applications on the OS.

These core services are grouped into the following major service categories:

Partition management, which allows partitions with different criticality levels to execute in the same core module without affecting one another spatially or temporally.

Process management and control, which includes all the resources necessary to manage the different processes. For example process control and process scheduling, taking into account the specific processes attributes and process state transitions.

Time management is one of the most critical features to be provided by the OS within multiple application systems. In accordance with ARINC 653 philosophy, time is independent of process or partition execution. All time values are related to the core module time and not relative to the partition or process.

Inter partition communication mechanisms, which allow the communication of messages between two or more partitions executing either on the same core module or on different core modules. Intra partition communication mechanisms, which allow the communication of messages between processes within the same partition without the overhead of the global message passing processing.

Health Monitoring functions, which monitor and report platform/application/software faults and failures, and help to isolate faults and to prevent failures from propagating.

ARINC Specification 653 Part 2 complements the basic set of services defined in Part 1, with extensions to the core services as well as some additional services deemed optional.

These optional services are grouped in the following categories:

• File System,
• Sampling Port Data Structures
• Multiple Module Schedules
• Logbook System
• Sampling Port Extensions
• Service Access Points
• Name Service
• Memory Blocks
• Health Monitoring Extensions
• Queuing Port List Service