ARINC Specification 653 and its Implementation in RTOS Baget 3

A. N. Godunov, Head of department, e-mail: nkag@niisi.ras.ru, V. A. Soldatov, Senior Scientific researcher, e-mail: nkvalera@niisi.ras.ru, Scientific Research Institute for System Analysis of the Russian Academy of Sciences (SRISA), Moscow

The paper describes the main aspects of the ARINC Specification 653 (Avionics Application Software Standard Interface). All Parts of ARINC Specification 653 are reviewed: Required Services and corresponding XML-configuration specification using this interface; Extended Services; Subset Services; Conformity Test Specification; port device driver services. The distinctions between similar services of POSIX Standard and ARINC specification 653 are noted: area of application; terminology; a number of interface functions. The following special features of ARINC specification 653 are noted: partition modes; resource management and its definition in configuration by system integrator; error handling based on error levels. Partition management based on module scheduling is considered. Module schedules are specified in configuration. All required services of ARINC Specification 653 are considered: interpartition communications (channels and ports management both queuing, sampling and SAP); intrapartition communications (semaphores, blackboards and buffers); logbooks; file systems; error handling and health monitoring; XML configuration specifications. For each service comparison with appropriate POSIX service is given and RTOS Baget 3 implementation of those services are discussed. Well-known RTOS's conforming with ARINC Specification 653 implementation are listed.

Keywords: ARINC 653, POSIX, real-time operating system, reliability, RTOS Baget 3

pp. 3–17