內容簡介
《空軍航空機務系統教材·機載計算機軟體》語言通俗易懂，難度深淺適中，內容組織循序漸進，示例豐富，每章後面備有形式多樣的習題。《空軍航空機務系統教材·機載計算機軟體》系統介紹了機載計算機的軟體結構、作業系統、開發環境、開發語言和發展趨勢。全書共分6章，第1章介紹機載計算機軟體結構，第2章主要從軟體工程的角度論述機載計算機的系統設計思想、軟體設計原理、軟體結構以及常用的軟體設計方法，第3章和第4章以VxWorks和Tornado為例介紹機載計算機使用的作業系統和軟體開發環境，第5章介紹機載電腦程式設計語言Ada95，第6章介紹機載計算機軟體系統的發展趨勢。
目錄
第1章 機載計算機軟體結構
1.1 系統設計思想
1.1.1 系統描述
1.1.2 傳統設計方法
1.1.3 頂層設計思想
1.2 軟體設計原理
1.2.1 任務管理
1.2.2 時間管理
1.2.3 錯誤管理
1.3 軟體結構及設計方法
1.3.1 作戰飛行程式
1.3.2 執行程式
1.3.3 應用程式
習題
第2章 機載計算機軟體工程
2.1 軟體生命周期及軟體開發支持技術
2.1.1 軟體過程開發模型
2.1.2 系統建模方法
2.1.3 開發方法及設計方法
2.1.4 編碼及測試
2.1.5 系統的驗證及維護
2.2 軟體的可靠性分析
2.2.1 可靠性參數
2.2.2 提高軟體可靠性的方法
2.2.3 軟體的可靠性驗證
2.3 利用可靠性增長模型提高軟體的質量水平
2.3.1 可靠性增長模型的含義
2.3.2 數學模型(公式)
2.3.3 數據分析
2.4 機載軟體的測試方法
2.4.1 傳統的測試方法
2.4.2 改進的測試方法
2.4.3 淨室測試方法
2.4.4 套用實例分析
習題
第3章 機載計算機作業系統
3.1 概述
3.1.1 嵌入式系統的特點
3.1.2 實時系統的特點
3.1.3 機載計算機作業系統的特點
3.1.4 機載計算機作業系統的比較
3.2 嵌入式實時系統軟體開發設計
3.2.1 開發模型
3.2.2 開發過程
3.2.3 開發工具
3.3 VxWorks作業系統的特點、組成及配置
3.3.1 VxWorks作業系統的特點
3.3.2 VxWorks作業系統的組成
3.3.3 VxWorks作業系統的基本配置
3.4 VxWorks的任務、任務編程接口及任務問通信
3.4.1 任務的含義及特徵
3.4.2 Wind系統調度機制
3.4.3 控制函式及通信方法
3.5 VxWorks的信號、中斷處理及定時機制
3.5.1 信號的含義及配置
3.5.2 中斷服務程式的設定及特殊限制
3.5.3 POSIX計時器的特點及實例分析
習題
第4章 機載計算機軟體開發環境
4.1 Tornado集成開發環境簡介
4.1.1 Tornado的核心部件
4.1.2 Wind Power工具集的作用
4.1.3 Tornado的使用步驟
4.2 網路編程
4.2.1 VxWorks的網路工具
4.2.2 客戶/伺服器編程
4.3 建立調試環境及實例分析
4.3.1 主機/目標機開發環境
4.3.2 x86系列目標機調試環境的建立
4.3.3 編程實例分析
習題
第5章 機載計算機軟體開發語言
5.1 Ada語言概述
5.1.1 Ada語言簡介
5.1.2 Ada語言與C語言和Java語言的比較
5.1.3 Ada語言的開發環境
5.2 語法成分及數據類型
5.2.1 基本語法成分
5.2.2 標量類型及複合類型
5.2.3 自定義類型及訪問類型
5.2.4 字元及字元串類型
5.3 程式控制結構及子程式
5.3.1 3種程式結構
5.3.2 過程和函式
5.3.3 方法重載
5.3.4 程式包及私有類型
5.4 面向對象程式設計
5.4.1 標誌類型及抽象類型的定義
5.4.2 繼承及派生的實現
5.4.3 多態性及類屬單元
5.5 並發程式設計
5.5.1 任務的含義及特徵
5.5.2 任務的控制語句
5.5.3 任務的通信方式
5.5.4 保護類型
習題
第6章 機載計算機軟體系統發展趨勢
6.1 軟體結構的發展趨勢
6.2 設計方法的發展趨勢
6.3 作業系統的發展趨勢
6.4 開發環境的發展趨勢
習題
附錄
附錄A Ada95語言的程式包
附錄B Ada95語言的預定義屬性
附錄C Ada95語言的預定義編用
附錄D Ada95語言的常用辭彙
參考文獻
