機載計算機軟件

定　價：￥49.00

作　者：	王勇，叢偉主編
出版社：	國防工業(yè)出版社
叢編項：	空軍航空機務(wù)系統(tǒng)教材
標　簽：	軟件工程/開發(fā)項目管理

購買這本書可以去

ISBN：	9787118054187	出版時間：	2008-07-01	包裝：	平裝
開本：	16開	頁數(shù)：	294	字數(shù)：

內(nèi)容簡介

　　本書系統(tǒng)介紹了機載計算機的軟件結(jié)構(gòu)、操作系統(tǒng)、開發(fā)環(huán)境、開發(fā)語言和發(fā)展趨勢。全書共分6章，第1章介紹機載計算機軟件結(jié)構(gòu)，第2章主要從軟件工程的角度論述機栽計算機的系統(tǒng)設(shè)計思想、軟件設(shè)計原理、軟件結(jié)構(gòu)以及常用的軟件設(shè)計方法，第3章和第4章以VxWorks和Tornado為例介紹機載計算機使用的操作系統(tǒng)和軟件開發(fā)環(huán)境，第5章介紹機載計算機程序設(shè)計語言Ada95，第6章介紹機載計算機軟件系統(tǒng)的發(fā)展趨勢。本書語言通俗易懂，難度深淺適中，內(nèi)容組織循序漸進，示例豐富，每章后面?zhèn)溆行问蕉鄻拥牧曨}。本書可作為航空工程類院校的相關(guān)專業(yè)本科生和研究生的教材。同時也可作為航空兵部隊、軍事指揮機關(guān)、民航的工程技術(shù)和管理人員，以及航空計算機軟件愛好者的自學指導(dǎo)書和參考書。

作者簡介

暫缺《機載計算機軟件》作者簡介

圖書目錄

第1章機載計算機軟件結(jié)構(gòu)
1.1 系統(tǒng)設(shè)計思想
1.1.1 系統(tǒng)描述
1.1.2 傳統(tǒng)設(shè)計方法
1.1.3 頂層設(shè)計思想
1.2 軟件設(shè)計原理
1.2.1 任務(wù)管理
1.2.2 時間管理
1.2.3 錯誤管理
1.3 軟件結(jié)構(gòu)及設(shè)計方法
1.3.1 作戰(zhàn)飛行程序
1.3.2 執(zhí)行程序
1.3.3 應(yīng)用程序
習題
第2章機載計算機軟件工程
2.1 軟件生命周期及軟件開發(fā)支持技術(shù)
2.1.1 軟件過程開發(fā)模型
2.1.2 系統(tǒng)建模方法
2.1.3 開發(fā)方法及設(shè)計方法
2.1.4 編碼及測試
2.1.5 系統(tǒng)的驗證及維護
2.2 軟件的可靠性分析
2.2.1 可靠性參數(shù)
2.2.2 提高軟件可靠性的方法
2.2.3 軟件的可靠性驗證
2.3 利用可靠性增長模型提高軟件的質(zhì)量水平
2.3.1 可靠性增長模型的含義
2.3.2 數(shù)學模型(公式)
2.3.3 數(shù)據(jù)分析
2.4 機載軟件的測試方法
2.4.1 傳統(tǒng)的測試方法
2.4.2 改進的測試方法
2.4.3 凈室測試方法
2.4.4 應(yīng)用實例分析
習題
第3章機載計算機操作系統(tǒng)
3.1 概述
3.1.1 嵌入式系統(tǒng)的特點
3.1.2 實時系統(tǒng)的特點
3.1.3 機載計算機操作系統(tǒng)的特點
3.1.4 機載計算機操作系統(tǒng)的比較
3.2 嵌入式實時系統(tǒng)軟件開發(fā)設(shè)計
3.2.1 開發(fā)模型
3.2.2 開發(fā)過程
3.2.3 開發(fā)工具
3.3 VxWorks操作系統(tǒng)的特點、組成及配置
3.3.1 VxWorks操作系統(tǒng)的特點
3.3.2 VxWorks操作系統(tǒng)的組成
3.3.3 VxWorks操作系統(tǒng)的基本配置
3.4 VxWorks的任務(wù)、任務(wù)編程接口及任務(wù)問通信
3.4.1 任務(wù)的含義及特征
3.4.2 Wind系統(tǒng)調(diào)度機制
3.4.3 控制函數(shù)及通信方法
3.5 VxWorks的信號、中斷處理及定時機制
3.5.1 信號的含義及配置
3.5.2 中斷服務(wù)程序的設(shè)置及特殊限制
3.5.3 POSIX計時器的特點及實例分析
習題
第4章機載計算機軟件開發(fā)環(huán)境
4.1 Tornado集成開發(fā)環(huán)境簡介
4.1.1 Tornado的核心部件
4.1.2 Wind Power工具集的作用
4.1.3 Tornado的使用步驟
4.2 網(wǎng)絡(luò)編程
4.2.1 VxWorks的網(wǎng)絡(luò)工具
4.2.2 客戶／服務(wù)器編程
4.3 建立調(diào)試環(huán)境及實例分析
4.3.1 主機/目標機開發(fā)環(huán)境
4.3.2 x86系列目標機調(diào)試環(huán)境的建立
4.3.3 編程實例分析
習題
第5章機載計算機軟件開發(fā)語言
5.1 Ada語言概述
5.1.1 Ada語言簡介
5.1.2 Ada語言與C語言和Java語言的比較
5.1.3 Ada語言的開發(fā)環(huán)境
5.2 語法成分及數(shù)據(jù)類型
5.2.1 基本語法成分
5.2.2 標量類型及復(fù)合類型
5.2.3 自定義類型及訪問類型
5.2.4 字符及字符串類型
5.3 程序控制結(jié)構(gòu)及子程序
5.3.1 3種程序結(jié)構(gòu)
5.3.2 過程和函數(shù)
5.3.3 方法重載
5.3.4 程序包及私有類型
5.4 面向?qū)ο蟪绦蛟O(shè)計
5.4.1 標志類型及抽象類型的定義
5.4.2 繼承及派生的實現(xiàn)
5.4.3 多態(tài)性及類屬單元
5.5 并發(fā)程序設(shè)計
5.5.1 任務(wù)的含義及特征
5.5.2 任務(wù)的控制語句
5.5.3 任務(wù)的通信方式
5.5.4 保護類型
習題
第6章機載計算機軟件系統(tǒng)發(fā)展趨勢
6.1 軟件結(jié)構(gòu)的發(fā)展趨勢
6.2 設(shè)計方法的發(fā)展趨勢
6.3 操作系統(tǒng)的發(fā)展趨勢
6.4 開發(fā)環(huán)境的發(fā)展趨勢
習題
附錄
附錄A Ada95語言的程序包
附錄B Ada95語言的預(yù)定義屬性
附錄C Ada95語言的預(yù)定義編用
附錄D Ada95語言的常用詞匯
參考文獻