ARINC 653P3A

Purpose of Compliance Demonstration

ARINC Specification 653 Part 1 defines the basic set of servicesthat addresses the necessary functionalities for core services, aswell as the necessary facilities that have to be provided throughthe Application Programming Interface (API) between the applicationprograms and the Operating System (OS). It describes the invocationof those services and the data structures with specified semanticsto ensure the accurate binding and running of the applications onthe OS.

These core services are grouped into the following major servicecategories:

Partition management, which allows partitions withdifferent criticality levels to execute in the same core modulewithout affecting one another spatially or temporally.

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

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

Inter partition communication mechanisms, which allow thecommunication of messages between two or more partitions executingeither on the same core module or on different core modules. Intrapartition communication mechanisms, which allow the communicationof messages between processes within the same partition without theoverhead of the global message passing processing.

Health Monitoring functions, which monitor and reportplatform/application/software faults and failures, and help toisolate faults and to prevent failures from propagating.

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

These optional services are grouped in the followingcategories:

• 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

Edition:

14

Published:

01/13/2014

Number of Pages:

410

File Size:

1 file , 3.8 MB