ARINC653Part4标准的研究

仝敏

摘 要：ARINC653标准是为了满足综合模块化航电系统（IMA）对实时操作系统的需求而提出的分区化的操作系统接口标准，其中Part4标准是对ARINC653 Part1标准的精简。本文在研究了ARINC653 Part1标准的基础上，详细研究了ARINC653 Part4标准，该标准提供了精简的分区通信模型（非阻塞）、删除了分区内通信机制等，消除了系统运行过程中可能导致任务截止期无法满足，提高了系统的确定性，分区严格的按照时间表顺行执行，系统的实时性也能够保证。

关键词：ARINC653 Part4;ARINC653 Part1

中图分类号：TP311 文献标识码：A

1 ARINC653 Part4标准简介

ARINC653标准是为了满足综合模块化航电系统（IMA）对实时操作系统的需求而提出的分区化的操作系统接口标准。它定义了一组位于航空计算机资源上的核心软件和应用软件之间的通用接口服务（简称APEX接口），以及应用软件通过这些服务控制进程调度、通信以及内部处理的状态信息。

ARINC653 Part4[1]标准是ARINC653 Part1[2]标准的子集，该标准基于一个更加简单的应用执行模型，为应用只提供最多两个进程（一个周期进程一个非周期进程）编程模型以及基于双进程模型的一些精简服务集，ARINC653 Part4标准本质上是对ARINC653 Part1标准加以简化的限制，其主要目的是在操作系统层和应用软件层之间定义一个通用的精简的APEX（应用软件/执行）接口。

ARINC653 Part4标准的主要目的是形成一个满足特定功能应用需求的标准，这些应用主要是指一些轻量化、复杂度较低的应用，将不同的应用集成在一个或者多个不同的精简分区中，由一个统一内核完成资源管理。

2 国外基于ARINC653 Part4标准的操作系统产品