天脈ACoreOS嵌入式實時操作系統(tǒng)

1、天脈2嵌入式實時操作系統(tǒng)入門培訓教程目錄2航空軟件開發(fā)中心核心操作系統(tǒng)和分區(qū)調(diào)度3分區(qū)操作系統(tǒng)和進程調(diào)度4分區(qū)間通信5健康監(jiān)控6ARINC653標準1天脈2操作系統(tǒng)概述2IO分區(qū)7應用移植8ARINC653標準（一）ARINC653標準是什么？ ARINC Specification 653, Avionics Application Software Standard Interface, Supplement 2. ARINC653是一個用于現(xiàn)代飛機綜合化航電系統(tǒng)（IMA）的應用執(zhí)行標準。3聯(lián)合方式航電綜合化航電系統(tǒng) (IMA)航空數(shù)據(jù)計算機飛行管理系統(tǒng)航空數(shù)據(jù)計算機 飛行管理系統(tǒng) 具有分

2、區(qū)功能的操作系統(tǒng)ARINC 429ARINC653標準（二）4聯(lián)合方式航電飛行控制系統(tǒng)飛行管理系統(tǒng)慣性導航系統(tǒng)顯示系統(tǒng)導航計算機任務計算機發(fā)動機控制系統(tǒng)發(fā)動機監(jiān)控系統(tǒng)火控系統(tǒng)武器控制系統(tǒng)存儲管理系統(tǒng)目標計算機雷達系統(tǒng)傳感器系統(tǒng)前視紅外雷達ARINC653標準（三）5綜合化航電系統(tǒng)雷達系雷達系統(tǒng)統(tǒng)傳傳感器系感器系統(tǒng)統(tǒng)前前視紅視紅外雷達外雷達武器控制系武器控制系統(tǒng)統(tǒng)存存儲儲管理系管理系統(tǒng)統(tǒng)顯示系統(tǒng)發(fā)動發(fā)動機控制系機控制系統(tǒng)統(tǒng)發(fā)動發(fā)動機機監(jiān)監(jiān)控系控系統(tǒng)統(tǒng)火控系火控系統(tǒng)統(tǒng)飛行控制系統(tǒng)飛行管理系統(tǒng)慣性導航系統(tǒng)ARINC653標準（四）6q目的：解決由于綜合化、模塊化帶來的故障隔離問題。q定義：航電計算機

3、操作系統(tǒng)與應用的通用接口；q作用：標準服務接口，包括：控制調(diào)度、通信和獲得內(nèi)部處理單元的信息等；q目標：應用軟件可獨立開發(fā)，運行在同一硬件平臺上。ARINC653標準（五）q分為4個部分：lPART 1-Required Services：基本服務lPART 2-Extended Services：擴展服務lPART 3-Confirmity Test Specification：符合性測試規(guī)范lPART 4-Subset Services：受限制的服務子集。ARINC653標準（六）qPART 1提供的標準服務接口：l分區(qū)管理（2個）l進程管理（14個）l時間管理（5個）l存儲管理l分區(qū)內(nèi)通

4、信（23個）l分區(qū)間通信（10個）l健康監(jiān)控（4個）目錄9航空軟件開發(fā)中心核心操作系統(tǒng)和分區(qū)調(diào)度3分區(qū)操作系統(tǒng)和進程調(diào)度4分區(qū)間通信5健康監(jiān)控6ARINC653標準1天脈2操作系統(tǒng)概述2IO分區(qū)7應用移植8ACoreOS653基本描述信息描 述名稱天脈2機載嵌入式實時操作系統(tǒng)代號ACoreOS653主要功能支持分區(qū)管理和調(diào)度、分區(qū)間通信、健康監(jiān)控管理、進程管理、時間管理等功能.開發(fā)語言C 語言/匯編開發(fā)平臺LambdaAE 運行平臺支持機載常用的Intel 80486及以上系列單核處理器和PowerPC 6xx、7xx、74xx、85xx單核處理器為目標機代碼規(guī)模 20余萬行軟件版本V1.0.

5、0重要度等級 關鍵10ACoreOS653操作系統(tǒng)特點11技術特征技術特征強實時性l中斷可嵌套，響應快速中斷可嵌套，響應快速lAPPSAPPS實現(xiàn)分區(qū)可搶占實現(xiàn)分區(qū)可搶占l分區(qū)內(nèi)進程優(yōu)先級搶占分區(qū)內(nèi)進程優(yōu)先級搶占l分區(qū)按時間表調(diào)度分區(qū)按時間表調(diào)度lWorkWork任務預防阻塞任務預防阻塞可靠性l基于基于MMUMMU的空間隔離的空間隔離l可預防故障蔓延可預防故障蔓延l提供健康監(jiān)控機制提供健康監(jiān)控機制l提供錯誤處理動作提供錯誤處理動作l強化魯棒性設計強化魯棒性設計安全性l按按DO-178B ADO-178B A級要求開發(fā)級要求開發(fā)l編碼符合編碼符合GJB 5369- 2005GJB 5369- 2

6、005l開展開展FTAFTA和和FMEAFMEA分析分析確定性l靜態(tài)空間配置分配靜態(tài)空間配置分配l分區(qū)調(diào)度時間可配置分區(qū)調(diào)度時間可配置l分區(qū)間通信可配置分區(qū)間通信可配置l故障處理可配置故障處理可配置l系統(tǒng)運行資源可配置系統(tǒng)運行資源可配置充分驗證l基于需求的測試基于需求的測試l失效場景測試失效場景測試l開展開展MC/DCMC/DC測試測試l典型機載設備地面試驗典型機載設備地面試驗驗證和試飛確認驗證和試飛確認適應性l支持機載常用處理器支持機載常用處理器l三層棧支持可升級三層棧支持可升級l支持機載常用功能組件支持機載常用功能組件l支持系統(tǒng)、分區(qū)級和進程支持系統(tǒng)、分區(qū)級和進程級三級調(diào)試級三級調(diào)試l可裁

7、剪、可定制可裁剪、可定制ACoreOS653體系結構12模塊支持層 核心操作系統(tǒng)(CoreOS) 可配置組件 文件系統(tǒng)運行時庫BIT管理分區(qū)操作系統(tǒng)(PartitionOS) 分區(qū)操作系統(tǒng)(PartitionOS) 分區(qū)操作系統(tǒng)(PartitionOS) 分區(qū)操作系統(tǒng)(Vthread OS) 分區(qū)操作系統(tǒng)(Posix OS) 分區(qū)應用1分區(qū)應用2分區(qū)應用3分區(qū)應用4分區(qū)應用5分區(qū)1分區(qū)2分區(qū)3分區(qū)4分區(qū)5調(diào)度表管理健康監(jiān)控分區(qū)時/空管理配置數(shù)據(jù)虛中斷管理分區(qū)間通信進程管理通信管理時間管理虛中斷管理基本概念（一）q分區(qū)l軟件運行的邏輯單元，包括：軟件運行所需的空間資源、時間資源以及分區(qū)本身所需具

8、備的資源；l分區(qū)包括u空間分區(qū)u時間分區(qū)13航空軟件開發(fā)中心基本概念（二）q進程l分區(qū)中程序單元l周期、非周期l分區(qū)資源q應用l分區(qū)中運行的軟件l分區(qū)-房間 、應用-人q虛中斷l(xiāng)緊急事件通知機制14基本概念（三）q配置數(shù)據(jù)l配置整個系統(tǒng)的屬性q調(diào)度表l多個分區(qū)運行時序、運行時間、頻率q系統(tǒng)調(diào)用l應用分區(qū)請求核心操作系統(tǒng)提供服務的機制q共享數(shù)據(jù)區(qū)l分區(qū)之間確定性存儲器共享的機制15航空軟件開發(fā)中心功能組成16航空軟件開發(fā)中心模塊支持層qCPU體系結構支持包qBIT測試q映像管理q系統(tǒng)級通信代理q系統(tǒng)級調(diào)試代理q模塊支持層故障處理17航空軟件開發(fā)中心核心操作系統(tǒng)q運行在系統(tǒng)態(tài)q主要實現(xiàn)l分區(qū)的管理

9、和調(diào)度l分區(qū)間通信l系統(tǒng)的故障監(jiān)控l系統(tǒng)內(nèi)資源管理l設備管理l中斷/異常管理18航空軟件開發(fā)中心分區(qū)操作系統(tǒng)q運行在用戶態(tài)q駐留于每個分區(qū)q主要實現(xiàn)l分區(qū)內(nèi)進程管理和調(diào)度l分區(qū)內(nèi)資源管理19航空軟件開發(fā)中心可配置組件qC運行時庫qC+運行時庫qBIT管理q文件系統(tǒng)q分區(qū)級調(diào)試代理q任務級通信代理20航空軟件開發(fā)中心目錄21航空軟件開發(fā)中心核心操作系統(tǒng)和分區(qū)調(diào)度3分區(qū)操作系統(tǒng)和進程調(diào)度4分區(qū)間通信5健康監(jiān)控6ARINC653標準1天脈2操作系統(tǒng)概述2IO分區(qū)7應用移植8核心操作系統(tǒng)功能（一）q提供單個CPU目標平臺的資源管理和分區(qū)時空管理q將應用隔離到不同的分區(qū)l系統(tǒng)所有地址空間全部在配置時確定

10、q分區(qū)管理和創(chuàng)建l分區(qū)創(chuàng)建為內(nèi)部接口（基于確定性和安全性）q根據(jù)配置表為每一個分區(qū)分配執(zhí)行時間q實現(xiàn)分區(qū)的輪轉調(diào)度22航空軟件開發(fā)中心q管理分區(qū)間通信q為分區(qū)操作系統(tǒng)提供系統(tǒng)調(diào)用服務q模塊級/分區(qū)級健康監(jiān)控q配置記錄的加載和存儲q共享數(shù)據(jù)區(qū)q管理所有共享的資源l中斷/異常l系統(tǒng)時間l內(nèi)存lI/O服務23航空軟件開發(fā)中心核心操作系統(tǒng)功能（二）核心操作系統(tǒng)-存儲器保護（一）q使用存儲器MMU單元l邏輯地址和物理地址的轉換l空間訪問權限的定義l創(chuàng)建多個MMU存儲器上下文（核心操作系統(tǒng)上下文空間、每個分區(qū)獨立的上下文空間）q分區(qū)之間的隔離保護l每個分區(qū)的邏輯地址空間相同（可配置）l通過分區(qū)獨立的上下文

11、空間映射到不同的物理地址q分區(qū)和核心操作系統(tǒng)的隔離保護l核心操作系統(tǒng)上下文空間l系統(tǒng)態(tài)可訪問24航空軟件開發(fā)中心核心操作系統(tǒng)-存儲器保護（二）q使用存儲器MMU單元完成其他功能l向量表的保護l核心操作系統(tǒng)的任務棧保護l核心操作系統(tǒng)的中斷棧保護l分區(qū)操作系統(tǒng)的進程棧保護l分區(qū)之間共享數(shù)據(jù)區(qū)的訪問權限設置25航空軟件開發(fā)中心核心操作系統(tǒng)-任務調(diào)度q任務功能l分區(qū)/模塊級健康監(jiān)控l駐留于核心操作系統(tǒng)的代理功能l分區(qū)操作系統(tǒng)l其他核心操作系統(tǒng)功能和用戶自定義功能q任務和分區(qū)的關系l任務跟隨分區(qū)調(diào)度l任務跟隨核心操作系統(tǒng)調(diào)度l指定任務執(zhí)行所占用的時間窗口26航空軟件開發(fā)中心核心操作系統(tǒng)-分區(qū)狀態(tài)定義q冷

12、啟動態(tài)q熱啟動態(tài)q空閑態(tài)q正常態(tài)27航空軟件開發(fā)中心分區(qū)狀態(tài)轉換圖分區(qū)狀態(tài)轉換圖核心操作系統(tǒng)-分區(qū)重啟動q分區(qū)重啟動的分類l 冷啟動以COLD_START為參數(shù)調(diào)用SET_PARTITION_MODEl 熱啟動以WARM_START為參數(shù)調(diào)用SET_PARTITION_MODEq冷/熱啟動的區(qū)別l 冷啟動將重新復制分區(qū)的代碼段，重新復制分區(qū)及共享庫的數(shù)據(jù)段、只讀數(shù)據(jù)段、永久數(shù)據(jù)段，重新初始化分區(qū)及共享庫的BSS段、永久BSS段l 熱啟動只復制分區(qū)及共享庫的數(shù)據(jù)段，重新初始化分區(qū)及共享庫的BSS段28航空軟件開發(fā)中心核心操作系統(tǒng)-分區(qū)調(diào)度（一）29q調(diào)度策略l時間調(diào)度表（XML文件配置）l可定義

13、256個調(diào)度表l通過程序完成調(diào)度表的切換l最小時間窗口是100微秒l時間窗口和系統(tǒng)時鐘TICK的關系（向上取整）l分區(qū)沒有優(yōu)先級q核心OS中與分區(qū)關聯(lián)的任務在本分區(qū)的時間窗口內(nèi)執(zhí)行核心操作系統(tǒng)-分區(qū)調(diào)度（二）q在一個主時間框架內(nèi)，可以對分區(qū)進行多次調(diào)度 30航空軟件開發(fā)中心核心操作系統(tǒng)-分區(qū)調(diào)度（三）q多調(diào)度表l缺省調(diào)度表q多調(diào)度表切換l下一主時間框l下一時間窗口l下一時鐘tickq調(diào)度表切換動作l冷啟動l熱啟動l掛起l忽略31核心操作系統(tǒng)-虛中斷（一）q分區(qū)響應核心操作系統(tǒng)緊急事件q由核心操作系統(tǒng)向指定分區(qū)發(fā)送q8種虛中斷類型l VT_EVENT_RELEASE_POINT（周期進程釋放點）

14、l VT_EVENT_WARM_RESTART（熱啟動）l VT_EVENT_USER（用戶擴展）l VT_EVENT_CLOCK_TICK（時鐘）l VT_EVENT_SC_COMPLETE（阻塞性系統(tǒng)調(diào)用）l VT_EVENT_UC_RAPHSODY（RHAPSODY代理）l VT_EVENT_DEBUG（其他事件，用于操作系統(tǒng)擴展）l VT_EVENT_EXTEND32航空軟件開發(fā)中心核心操作系統(tǒng)-虛中斷（二）q響應虛中斷時機q響應方式qAPI接口l虛中斷注冊STATUS vIntEventHandlerRegister ( VT_EVENT_HANDLER handler)33航空軟件

15、開發(fā)中心核心操作系統(tǒng)-系統(tǒng)調(diào)用（一）q分區(qū)操作系統(tǒng)和應用軟件（用戶態(tài)）可通過系統(tǒng)調(diào)用對核心操作系統(tǒng)（系統(tǒng)態(tài)）進行訪問；l為分區(qū)操作系統(tǒng)提供統(tǒng)一的系統(tǒng)調(diào)用入口訪問核心操作系統(tǒng)l為應用軟件提供專用的系統(tǒng)調(diào)用服務訪問核心操作系統(tǒng)q系統(tǒng)調(diào)用由核心操作系統(tǒng)進行分類、分派。34航空軟件開發(fā)中心核心操作系統(tǒng)-系統(tǒng)調(diào)用（二）q系統(tǒng)調(diào)用的劃分l阻塞性系統(tǒng)調(diào)用l非阻塞性系統(tǒng)調(diào)用q提供系統(tǒng)調(diào)用擴展能力35航空軟件開發(fā)中心核心操作系統(tǒng)-共享數(shù)據(jù)區(qū)q共享數(shù)據(jù)區(qū)l共享內(nèi)存區(qū) 需要核心操作系統(tǒng)為其分配物理地址空間l共享IO 需要分區(qū)及核心操作系統(tǒng)共同訪問的IO空間36航空軟件開發(fā)中心目錄37航空軟件開發(fā)中心核心操作系統(tǒng)和分

16、區(qū)調(diào)度3分區(qū)操作系統(tǒng)和進程調(diào)度4分區(qū)間通信5健康監(jiān)控6ARINC653標準1天脈2操作系統(tǒng)概述2IO分區(qū)7應用移植8分區(qū)操作系統(tǒng)（一）q分區(qū)操作系統(tǒng)以共享庫方式存在l代碼段為所有分區(qū)共有l(wèi)每個分區(qū)有自己的數(shù)據(jù)拷貝q運行在用戶態(tài)q每個分區(qū)都存在一個分區(qū)操作系統(tǒng)q應用程序可以通過系統(tǒng)調(diào)用，請求核心操作系統(tǒng)服務38航空軟件開發(fā)中心分區(qū)操作系統(tǒng)（二）q功能l進程管理和調(diào)度(優(yōu)先級搶占調(diào)度)l系統(tǒng)對象管理(信號量，緩沖，事件等)l分區(qū)內(nèi)堆管理(malloc)（可以通過配置禁止或者使能）l運行時庫(C庫，數(shù)學庫，標準輸入輸出庫，APEX，VThreads)l軟看門狗定時器l進程級健康監(jiān)控39航空軟件開發(fā)中

17、心分區(qū)操作系統(tǒng)（三）q提供支持APEX接口的分區(qū)操作系統(tǒng)q分區(qū)操作系統(tǒng)使用的所有空間分配均在應用分區(qū)的空間內(nèi)分配q所有對資源的申請，都在分區(qū)初始化過程中進行q中斷和異常l分區(qū)操作系統(tǒng)處理虛中斷l(xiāng)異常由核心操作系統(tǒng)統(tǒng)一分派40航空軟件開發(fā)中心分區(qū)操作系統(tǒng)-進程（一）q分區(qū)操作系統(tǒng)調(diào)度的單元是進程q調(diào)度策略l優(yōu)先級搶占優(yōu)先級范圍0-63不同優(yōu)先級進程，優(yōu)先級高的進程先運行同優(yōu)先級進程，采取先來先服務策略對于同優(yōu)先級進程，若當前占用CPU的進程不釋放處理器時間，則其他同等優(yōu)先級以及低優(yōu)先級進程將永遠得不到執(zhí)行l(wèi)時間片輪轉缺省禁止41航空軟件開發(fā)中心分區(qū)操作系統(tǒng)-進程（二）q進程棧保護l在進程棧頂通過

18、使用保護頁機制實現(xiàn)棧溢出保護l根據(jù)分區(qū)需求，在XML配置文件中設置保護頁的數(shù)目；l保護頁僅僅是系統(tǒng)態(tài)可R/W訪問的：因為進程運行在用戶模式，任何對保護頁的訪問導致數(shù)據(jù)訪問異常q限制：l棧下溢是不可檢測的l棧溢出過大時，可能會越過保護頁而不被檢測到42航空軟件開發(fā)中心分區(qū)操作系統(tǒng)-進程（三）q進程狀態(tài)l休眠態(tài)：進程已經(jīng)創(chuàng)建，但不具備競爭CPU的權利。進程在啟動前和停止后處于該狀態(tài)l就緒態(tài)：可以調(diào)度、準備執(zhí)行的進程，該進程一旦獲得CPU的控制權就能執(zhí)行l(wèi)運行態(tài)：擁有CPU控制權并正在執(zhí)行的進程。l等待態(tài)：由于資源條件未滿足，暫無資格競爭CPU的控制權，當?shù)却龡l件滿足后，可轉換到其它狀態(tài)。進程可能由

19、于以下原因處于等待態(tài)：等待一定的延遲時間、等待信號量、等待進程周期到、等待事件、等待消息、等待解掛43航空軟件開發(fā)中心分區(qū)操作系統(tǒng)-進程（四）q基于優(yōu)先級的搶占44航空軟件開發(fā)中心高優(yōu)先級任務A中等優(yōu)先級任務B低優(yōu)先級任務C優(yōu)先級事件事件事件事件事件事件時間同等優(yōu)先級的進程相互之間不會搶占同等優(yōu)先級的進程相互之間不會搶占分區(qū)操作系統(tǒng)-進程（五）q時間片輪轉調(diào)度45航空軟件開發(fā)中心分區(qū)操作系統(tǒng)-進程（六）q時間片l允許進程在時間片到達時，搶占正在運行的與其優(yōu)先級相同的進程；kernelTimeSlice(ticks)：（如果ticks為0，時間片輪轉禁止）l優(yōu)先級調(diào)度用于不同優(yōu)先級進程之間的調(diào)度

20、，時間片輪轉調(diào)度僅用于相同優(yōu)先級進程的調(diào)度；l基于優(yōu)先級的重調(diào)度可以在任何時刻發(fā)生，時間片輪轉重調(diào)度每間隔若干tick發(fā)生。46航空軟件開發(fā)中心分區(qū)操作系統(tǒng)-進程（七）q進程上下文切換l當一個進程停止運行，一個新的進程啟動時，發(fā)生上下文切換 當前進程的上下文被存儲到自己的TCB中 新啟動進程的上下文從TCB中復制到CPU中l(wèi)一個OS調(diào)用或者虛中斷可能導致上下文切換47航空軟件開發(fā)中心分區(qū)操作系統(tǒng)-分區(qū)內(nèi)通信（一）q緩沖l緩沖提供進程間的排隊消息l可按先進先出或優(yōu)先級進行排隊l每個消息可攜帶不同的數(shù)據(jù)，傳送時不允許覆蓋l消息緩沖區(qū)中可存放消息的數(shù)量由創(chuàng)建緩沖時給定的大小決定48航空軟件開發(fā)中心分

21、區(qū)操作系統(tǒng)-分區(qū)內(nèi)通信（二）q黑板l通過黑板，可以將消息發(fā)布給分區(qū)內(nèi)的所有進程l黑板上的消息是當前的最新消息，除非被清除或被新消息所覆蓋，或者黑板中未發(fā)布任何消息l黑板消息不可排隊，可進行覆寫l任何時刻都允許寫黑板消息的進程發(fā)送消息l任何時刻都允許讀黑板消息的進程訪問黑板消息49航空軟件開發(fā)中心分區(qū)操作系統(tǒng)-分區(qū)內(nèi)通信（三）q信號量l提供對資源的受控訪問，用于進程間的同步和互斥l兩種信號量：計數(shù)信號量和互斥信號量l計數(shù)信號量功能與標準一致，用于多個資源的互斥訪問l互斥信號量作為擴展功能，既可以實現(xiàn)同步，也可以實現(xiàn)互斥，且可以嵌套訪問50航空軟件開發(fā)中心分區(qū)操作系統(tǒng)-分區(qū)內(nèi)通信（四）q事件l事件

22、是針對進程的，它可以把某種情況的發(fā)生告知給等待進程l一個事件標記被進程(或ISR)用來通知其他進程事件的發(fā)生l進程可以同時等待超過一個以上的事件，事件相互之間是獨立的。l事件不排隊、不攜帶或傳輸數(shù)據(jù)51航空軟件開發(fā)中心目錄52航空軟件開發(fā)中心核心操作系統(tǒng)和分區(qū)調(diào)度3分區(qū)操作系統(tǒng)和進程調(diào)度4分區(qū)間通信5健康監(jiān)控6ARINC653標準1天脈2操作系統(tǒng)概述2IO分區(qū)7應用移植8分區(qū)間通信（一）qARINC653規(guī)范定義的、分區(qū)之間通信的唯一方式同一模塊內(nèi)分區(qū)間不同模塊分區(qū)間分區(qū)與設備間q通過消息（數(shù)據(jù)實體）、端口及通道實現(xiàn)q消息發(fā)送方式1：1方式1：N方式q通信模式：隊列、采樣、服務訪問點q端口和通

23、道連接關系，通過XML配置文件進行配置q端口對于用戶是可見的，而通道則是邏輯的、透明的，可配置但是不可直接操作53航空軟件開發(fā)中心分區(qū)間通信（二）q通道l定義一個源到一個或者多個目的之間的邏輯連接l通道在核心OS啟動時創(chuàng)建，通過XML配置定義通道l通道上指明發(fā)送端口及其所屬分區(qū)，及接收端口及其所屬分區(qū)54航空軟件開發(fā)中心分區(qū)間通信（三）55航空軟件開發(fā)中心分區(qū)間通信（四）q隊列模式l此模式下端口的運行方式與消息隊列類似l等待進程以先進先出或優(yōu)先級方式進行排隊l如果接收端口為空則接收者等待q適用范圍l適用于需要連續(xù)數(shù)據(jù)的通信方式56航空軟件開發(fā)中心分區(qū)間通信（五）q采樣模式l此模式下端口的運行方

24、式與共享存儲區(qū)相似l接收者不會以等待方式讀數(shù)據(jù)l新消息覆蓋原有消息l數(shù)據(jù)一致性可以保證q適用范圍l適用于需要最新數(shù)據(jù)的通信方式57航空軟件開發(fā)中心分區(qū)間通信（六）q服務訪問點模式 (Service Acess Point ）l一種特殊的隊列端口，與普通隊列端口的區(qū)別在于使用這些端口發(fā)送和接收消息時包括地址信息（IP地址和端口）q適用范圍l適用于以太網(wǎng)通信（AFDX）58航空軟件開發(fā)中心分區(qū)間通信（七）q虛分區(qū)l不是實體分區(qū)l不存在代碼和數(shù)據(jù)l為模塊間通信配置使用q虛端口l隸屬于虛分區(qū)l虛端口對應外部設備l需用戶提供設備驅動程序與外部通信59航空軟件開發(fā)中心分區(qū)間通信（八）q分區(qū)間通信方式60航

25、空軟件開發(fā)中心目錄61航空軟件開發(fā)中心核心操作系統(tǒng)和分區(qū)調(diào)度3分區(qū)操作系統(tǒng)和進程調(diào)度4分區(qū)間通信5健康監(jiān)控6ARINC653標準1天脈2操作系統(tǒng)概述2IO分區(qū)7應用移植8健康監(jiān)控（一）q為提高系統(tǒng)健壯性，操作系統(tǒng)提供健康監(jiān)控機制，用于監(jiān)控應用軟件、操作系統(tǒng)和硬件的故障。q健康監(jiān)控與錯誤分級:l進程級l分區(qū)級l模塊級62航空軟件開發(fā)中心健康監(jiān)控（二）q某一級別處理不了的錯誤，會逐級上報至更高級別的健康監(jiān)控進行處理。q處理原則:l由該級別對應的健康監(jiān)控任務或更高級別的健康監(jiān)控任務處理;l高級別系統(tǒng)模式（如：模塊模式）下發(fā)生的故障，不應由低級別健康監(jiān)控（如：進程級健康監(jiān)控）處理。63航空軟件開發(fā)中心健康監(jiān)控（三）q進程級HMl在分區(qū)內(nèi)處理進程相關的錯誤和事件，包含于分區(qū)內(nèi)l調(diào)用CREATE_ERROR_HANDLER()注冊應用錯誤處理進程l進程級健康監(jiān)控不是必須,進程級錯誤響應和恢復動作為應用驅動。q進程健康監(jiān)控所占用時間l僅占用本分區(qū)的時間窗口q進程級可檢測的故障l截止期超時、應用錯誤、數(shù)字錯誤、非法請求、棧溢出、內(nèi)存訪問違反、硬件故障、電源故障64航空軟件開發(fā)中心健康監(jiān)控（四）q分區(qū)級HMl用于處理分區(qū)內(nèi)影響分區(qū)OS運行的錯誤及事件；l分區(qū)級健