為了構建先進的航空電子系統，當前的航空電子系統更加強調開放式架構、商用貨架技術和統一網絡，由此綜合模塊化航空電子系統（IMA）概念應運而生。為了實現任務關鍵和安全關鍵的航空電子系統，綜合調度技術廣泛應用於航空電子體系結構中，並成為IMA架構優勢使能的關鍵技術。本書立足於當前航空電子系統研究現狀，跟蹤體系架構的最新發展趨勢和技術難點，討論航電系統綜合調度模型及其設計方法，並結合交換式網絡組網特征，深入討論IMA架構的系統綜合調度方案和實時性評價方法。本書的讀者對象為從事航空電子系統以及其他綜合電子系統設計的研究人員和工程技術人員，也可作為高等院校信息與通信工程、計算機等專業師生從事實時系統、實時網絡研究的參考書。何鋒，1999年進入北京航空航天大學電子信息工程學院學習，2008年獲得通信與信息系統博士學位，2011年博士后出站留校任教，2014年6月至2015年6月公派赴法國國立圖盧茲綜合理工學院（INPT）學術訪問。研究方向包括：航空電子綜合、實時調度、嵌入式系統架構、實時網絡等。承擔數字電路、航空電子綜合技術、電子電路數字化設計等課程授課。作為項目負責人主持的項目有：國家自然科學基金、航空科學基金、基礎業務發展基金等，以及多項橫向課題；作為技術負責人參與「十二五「總裝和工信部多項重點預研課題研究。目前已發表學術論文40余篇（其中SCI、EI檢索19篇）、授權專利7項、軟件著作權4項，曾獲國防科技進步一等獎一項。

第1章緒論1.1航空電子系統及其發展歷程1.1.1航空電子系統層次結構1.1.2航空電子系統發展歷程1.1.3航空電子系統設計特點1.2航空電子系統發展挑戰1.2.1網絡中心戰的挑戰1.2.2從IMA到DIMA1.2.3混合關鍵性發展1.3航空電子分區管理模型1.3.1分區管理概念1.3.2分區管理模型1.4分區管理研究現狀1.4.1基本概念1.4.2可調度性1.4.3分區設計1.4.4混合關鍵性1.5研究工作和結構安排1.5.1研究內容與貢獻1.5.2全文結構安排1.6本章小結第2章航空電子系統結構及分區管理2.1航空電子系統結構2.1.1開放式系統2.1.2模塊化航空電子系統2.1.3核心處理系統2.1.4航空電子系統軟件模型2.1.5藍印系統2.1.6通用功能模塊加載軟件映射2.2分區管理2.2.1分區屬性2.2.2分區操作模式轉換2.2.3分區調度2.2.4分區控制2.3進程管理2.3.1進程屬性2.3.2進程狀態切換2.3.3進程控制2.3.4進程調度2.4分區調度基本模型2.4.1分區和實時任務2.4.2調度策略和理論2.5機載互連網絡2.5.1機載網絡發展歷程2.5.2網絡分區2.5.3AFDX組網技術2.5.4TTE組網技術2.6本章小結第3章基於輪轉調度策略分區設計3.1輪轉調度模型3.2下層調度器采用固定優先級策略3.2.1可調度性分析3.2.2分區設計3.3下層調度器采用動態優先級策略3.3.1可調度性分析3.3.2分區設計3.4實例分析3.5本章小結第4章基於固定優先級調度策略分區設計4.1固定優先級調度模型4.2下層調度器采用固定優先級策略4.2.1可調度性分析4.2.2分區設計4.3下層調度器采用動態優先級策略4.3.1可調度性分析4.3.2分區設計4.4實例分析4.5本章小結第5章基於動態優先級調度策略分區設計5.1動態優先級調度模型5.2M.Spuri+的算法5.3下層調度器采用固定優先級策略5.3.1可調度性分析5.3.2分區設計5.4下層調度器采用動態優先級策略5.4.1可調度性分析5.4.2分區設計5.5本章小結第6章航空電子分區設計綜合評價6.1可設計性評價6.1.1評價模型6.1.2評價結果6.2G.Lipari及G.Lipari+模型6.2.1G.Lipari模型6.2.2G.Lipari+模型6.3分區設計最優解6.4分區設計參數評價6.4.1評價模型6.4.2評價結果6.5本章小結第7章混合關鍵性分區綜合設計7.1混合關鍵性系統分層調度架構7.1.1混合關鍵性任務模型7.1.2混合關鍵性分區模型7.1.3分區資源重配置機制7.2調度策略及可調度性分析基礎7.2.1任務時間需求函數7.2.2資源供給界限函數7.2.3混合關鍵性可調度判定7.3高效可調度性分析7.3.1待考查區間邊界7.3.2可調度判定問題等效轉化7.3.3快速收斂分析QPA7.4虛擬相對截止期限分配及分區參數設計7.4.1問題分析與形式化描述7.4.2基於禁忌搜索的虛擬相對截止期限分配算法7.4.3分區參數設計7.5實例分析7.6實驗仿真與結果分析7.6.1隨機任務集生成方法7.6.2分區可調度性分析7.6.3虛擬相對截止期限分配7.7本章小結第8章分布式任務分配與分區設計8.1核心處理系統模型與分析8.1.1平台模型8.1.2任務與消息模型8.1.3實時性分析8.2多層資源分配構架8.3平台層任務分配算法8.3.1任務分配問題的形式化分析8.3.2遺傳模擬退火算法8.3.3基於GSA的核心處理系統任務分配算法8.4節點層分區參數優化8.5實驗與分析8.5.1實例分析8.5.2性能對比8.6本章小結第9章基於IMA系統的任務序列實時性分析9.1基於AFDX網絡的IMA系統模型9.1.1任務模型9.1.2消息模型9.1.3AFDX網絡模型9.2釋放抖動影響分析9.3網絡演算理論9.3.1網絡演算基本概念9.3.2網絡演算端到端延遲計算9.3.3網絡演算緊性方法9.4消息端到端延遲分析9.4.1端到端延遲分解9.4.2AFDX端系統排隊延遲9.4.3端到端延遲求解9.5任務序列響應時間上界9.6實例分析9.7本章小結第10章時間觸發系統分區綜合設計10.1網絡分區綜合模型10.1.1分區隔離機制10.1.2TTE時鍾同步過程10.1.3時間觸發架構同步方法10.1.4分區綜合模型10.2網絡分區綜合模型調度設計10.2.1核心處理系統分區調度10.2.2統一網絡調度10.2.3DIMA系統時刻調度10.3實驗與分析10.3.1算例說明10.3.2調度結果分析10.4本章小結第11章結論與展望11.1主要結論11.2研究展望參考文獻術語索引