ARINC653Part4標(biāo)準(zhǔn)的研究

仝敏

摘 要：ARINC653標(biāo)準(zhǔn)是為了滿足綜合模塊化航電系統(tǒng)（IMA）對實時操作系統(tǒng)的需求而提出的分區(qū)化的操作系統(tǒng)接口標(biāo)準(zhǔn)，其中Part4標(biāo)準(zhǔn)是對ARINC653 Part1標(biāo)準(zhǔn)的精簡。本文在研究了ARINC653 Part1標(biāo)準(zhǔn)的基礎(chǔ)上，詳細研究了ARINC653 Part4標(biāo)準(zhǔn)，該標(biāo)準(zhǔn)提供了精簡的分區(qū)通信模型（非阻塞）、刪除了分區(qū)內(nèi)通信機制等，消除了系統(tǒng)運行過程中可能導(dǎo)致任務(wù)截止期無法滿足，提高了系統(tǒng)的確定性，分區(qū)嚴(yán)格的按照時間表順行執(zhí)行，系統(tǒng)的實時性也能夠保證。

關(guān)鍵詞：ARINC653 Part4;ARINC653 Part1

中圖分類號：TP311 文獻標(biāo)識碼：A

1 ARINC653 Part4標(biāo)準(zhǔn)簡介

ARINC653標(biāo)準(zhǔn)是為了滿足綜合模塊化航電系統(tǒng)（IMA）對實時操作系統(tǒng)的需求而提出的分區(qū)化的操作系統(tǒng)接口標(biāo)準(zhǔn)。它定義了一組位于航空計算機資源上的核心軟件和應(yīng)用軟件之間的通用接口服務(wù)（簡稱APEX接口），以及應(yīng)用軟件通過這些服務(wù)控制進程調(diào)度、通信以及內(nèi)部處理的狀態(tài)信息。

ARINC653 Part4[1]標(biāo)準(zhǔn)是ARINC653 Part1[2]標(biāo)準(zhǔn)的子集，該標(biāo)準(zhǔn)基于一個更加簡單的應(yīng)用執(zhí)行模型，為應(yīng)用只提供最多兩個進程（一個周期進程一個非周期進程）編程模型以及基于雙進程模型的一些精簡服務(wù)集，ARINC653 Part4標(biāo)準(zhǔn)本質(zhì)上是對ARINC653 Part1標(biāo)準(zhǔn)加以簡化的限制，其主要目的是在操作系統(tǒng)層和應(yīng)用軟件層之間定義一個通用的精簡的APEX（應(yīng)用軟件/執(zhí)行）接口。

ARINC653 Part4標(biāo)準(zhǔn)的主要目的是形成一個滿足特定功能應(yīng)用需求的標(biāo)準(zhǔn)，這些應(yīng)用主要是指一些輕量化、復(fù)雜度較低的應(yīng)用，將不同的應(yīng)用集成在一個或者多個不同的精簡分區(qū)中，由一個統(tǒng)一內(nèi)核完成資源管理。

2 國外基于ARINC653 Part4標(biāo)準(zhǔn)的操作系統(tǒng)產(chǎn)品

在國內(nèi)外，目前已知明確滿足ARINC653 Part4標(biāo)準(zhǔn)的操作系統(tǒng)是國外DDC-I公司的DEOSTM操作系統(tǒng)。DEOSTM是一款支持時空隔離分區(qū)的實時操作系統(tǒng)，具有硬實時響應(yīng)能力及高安全性，并于1998年通過DO-178 A級認證。在此基礎(chǔ)之上，DEOSTM先后發(fā)布了對ARINC653 Part1標(biāo)準(zhǔn)接口以及ARINC653 Part4標(biāo)準(zhǔn)接口支持的版本DEOS 653，以滿足航空電子應(yīng)用軟件標(biāo)準(zhǔn)化的需求，針對不同類型、不同復(fù)雜度的航電應(yīng)用需求，用戶可采用不同的單一標(biāo)準(zhǔn)接口配置或者不同標(biāo)準(zhǔn)接口的混合配置。同時，為了適應(yīng)航空領(lǐng)域中輕量、復(fù)雜度低的應(yīng)用的開發(fā)需求（如大多數(shù)的LRU設(shè)備軟件），DEOS又發(fā)布了僅支持ARINC653 Part4標(biāo)準(zhǔn)接口的DEOS ARINC653 P4 solo操作系統(tǒng)，從而形成了一條支持不同應(yīng)用場景、不同軟件復(fù)雜度的產(chǎn)品鏈。

3 ARINC653 Part4和Part1標(biāo)準(zhǔn)的對比設(shè)計約束

ARINC653 Part4接口和設(shè)計約束從功能單元到接口描述了基于ARINC653 Part 1標(biāo)準(zhǔn)的操作系統(tǒng)通過修改形成符合Part 4標(biāo)準(zhǔn)的操作系統(tǒng)的修改點，主要工作在于對Part1標(biāo)準(zhǔn)的精簡。Part4和Part1的約束對比具體描述如下。

3.1 分區(qū)管理

分區(qū)調(diào)度限制一個分區(qū)只能配置一個分區(qū)的時間窗口，可簡化周期進程釋放點管理以及截止期（deadline）監(jiān)控。

對分區(qū)操作模式來說，鎖搶占總是被禁止，操作系統(tǒng)不再使用分區(qū)LOCK_LEVEL，該值設(shè)置為0。

3.2 進程管理

進程管理限制為雙進程模型，即一個分區(qū)最多由兩個進程組成：一個周期進程和一個非周期進程。周期進程的優(yōu)先級比非周期進程高，非周期進程作為后臺進程，而且它不能被停止。周期進程和非周期進程不能并行操作，即當(dāng)周期進程完成自己的任務(wù)后，非周期進程才能被調(diào)度執(zhí)行，直到周期進程在下一個周期又重新被釋放。

雙進程比單進程更靈活，也就是說，可支持更多應(yīng)用。

周期進程比非周期進程有更高的優(yōu)先級，這樣調(diào)度比較簡單和確定（沒有就緒隊列管理、沒有優(yōu)先級管理）。

在ARINC653 Part4的操作系統(tǒng)忽略以下進程屬性：

a.基本優(yōu)先級;

b.周期：周期作為標(biāo)志來識別進程的類型，即無限大的值意味著非周期進程，而其他值意味著周期進程。對于周期進程來說，真實的進程周期總是分區(qū)周期，不管指定的其他非無限大的值。

c.時間：對于周期進程來說，有效的時間就是分區(qū)周期;對于非周期進程來說，有效的時間是無限的。

d.截止期。

3.3 時間管理

周期進程的時間和分區(qū)周期相等，即如果周期進程在釋放點上在處于運行狀態(tài)，則截止期（deadline）未滿足;非周期進程的時間是無限的，即沒有截止期（deadline）監(jiān)控。

3.4 分區(qū)內(nèi)通信

為了簡化進程管理，不支持ARINC653 Part1的分區(qū)內(nèi)通信服務(wù)。

3.5 分區(qū)間通信

為了刪除等待隊列和簡化進程管理，分區(qū)間通信限制只能使用非阻塞操作模式，隊列端口的排隊規(guī)則屬性被忽略。

在隊列模式的發(fā)送方向，如果隊列為滿或者包含的空間不能存儲整個消息，則發(fā)送請求被取消，而不用讓分區(qū)的請求進程進入Waiting狀態(tài);在隊列模式的接收方向：如果消息隊列為空，則接收請求被取消，而不用讓分區(qū)的請求進程進入Waiting狀態(tài)。

3.6 健康監(jiān)控

ARINC653 Part4標(biāo)準(zhǔn)不支持進程的錯誤處理程序，錯誤等級限制到分區(qū)或者模塊。

4 小結(jié)

ARINC653 Part4標(biāo)準(zhǔn)是對ARINC653 Part1標(biāo)準(zhǔn)的精簡，相比Part1標(biāo)準(zhǔn)，Part4標(biāo)準(zhǔn)固化了許多分區(qū)、任務(wù)的屬性，減少了配置的靈活性，但正是由于Part4標(biāo)準(zhǔn)對屬性的固定，提供了精簡的分區(qū)通信模型（非阻塞）、刪除了分區(qū)內(nèi)通信機制等，消除了系統(tǒng)運行過程中可能導(dǎo)致任務(wù)截止期無法滿足，提高了系統(tǒng)的確定性，分區(qū)嚴(yán)格的按照時間表順行執(zhí)行，系統(tǒng)的實時性也能夠保證。這與飛控應(yīng)用的嚴(yán)格執(zhí)行時序邏輯、高確定性的核心需求是一致的。

參考文獻：

[1]Airlines Electronic Engineering Committee.Avionics Application Software Standard Interface Part 4 – Subset Services[S].16701 Melford Blvd.，Suite 120，Bowie，Maryland 20715 USA：Aeronautical Radio，Inc，June 1，2012.

[2]Airlines Electronic Engineering Committee.Avionics Application Software Standard Interface Part 1 – Required Services[S].16701 Melford Blvd.，Suite 120，Bowie，Maryland 20715 USA：Aeronautical Radio，Inc，August 21，2015.