出版時(shí)間:2008-7 出版社:國(guó)防工業(yè)出版社 作者:王勇,叢偉 主編 頁(yè)數(shù):294
Tag標(biāo)簽:無(wú)
內(nèi)容概要
本書系統(tǒng)介紹了機(jī)載計(jì)算機(jī)的軟件結(jié)構(gòu)、操作系統(tǒng)、開發(fā)環(huán)境、開發(fā)語(yǔ)言和發(fā)展趨勢(shì)。全書共分6章,第1章介紹機(jī)載計(jì)算機(jī)軟件結(jié)構(gòu),第2章主要從軟件工程的角度論述機(jī)栽計(jì)算機(jī)的系統(tǒng)設(shè)計(jì)思想、軟件設(shè)計(jì)原理、軟件結(jié)構(gòu)以及常用的軟件設(shè)計(jì)方法,第3章和第4章以VxWorks和Tornado為例介紹機(jī)載計(jì)算機(jī)使用的操作系統(tǒng)和軟件開發(fā)環(huán)境,第5章介紹機(jī)載計(jì)算機(jī)程序設(shè)計(jì)語(yǔ)言Ada95,第6章介紹機(jī)載計(jì)算機(jī)軟件系統(tǒng)的發(fā)展趨勢(shì)。 本書語(yǔ)言通俗易懂,難度深淺適中,內(nèi)容組織循序漸進(jìn),示例豐富,每章后面?zhèn)溆行问蕉鄻拥牧?xí)題。本書可作為航空工程類院校的相關(guān)專業(yè)本科生和研究生的教材。同時(shí)也可作為航空兵部隊(duì)、軍事指揮機(jī)關(guān)、民航的工程技術(shù)和管理人員,以及航空計(jì)算機(jī)軟件愛(ài)好者的自學(xué)指導(dǎo)書和參考書。
書籍目錄
第1章 機(jī)載計(jì)算機(jī)軟件結(jié)構(gòu) 1.1 系統(tǒng)設(shè)計(jì)思想 1.1.1 系統(tǒng)描述 1.1.2 傳統(tǒng)設(shè)計(jì)方法 1.1.3 頂層設(shè)計(jì)思想 1.2 軟件設(shè)計(jì)原理 1.2.1 任務(wù)管理 1.2.2 時(shí)間管理 1.2.3 錯(cuò)誤管理 1.3 軟件結(jié)構(gòu)及設(shè)計(jì)方法 1.3.1 作戰(zhàn)飛行程序 1.3.2 執(zhí)行程序 1.3.3 應(yīng)用程序 習(xí)題第2章 機(jī)載計(jì)算機(jī)軟件工程 2.1 軟件生命周期及軟件開發(fā)支持技術(shù) 2.1.1 軟件過(guò)程開發(fā)模型 2.1.2 系統(tǒng)建模方法 2.1.3 開發(fā)方法及設(shè)計(jì)方法 2.1.4 編碼及測(cè)試 2.1.5 系統(tǒng)的驗(yàn)證及維護(hù) 2.2 軟件的可靠性分析 2.2.1 可靠性參數(shù) 2.2.2 提高軟件可靠性的方法 2.2.3 軟件的可靠性驗(yàn)證 2.3 利用可靠性增長(zhǎng)模型提高軟件的質(zhì)量水平 2.3.1 可靠性增長(zhǎng)模型的含義 2.3.2 數(shù)學(xué)模型(公式) 2.3.3 數(shù)據(jù)分析 2.4 機(jī)載軟件的測(cè)試方法 2.4.1 傳統(tǒng)的測(cè)試方法 2.4.2 改進(jìn)的測(cè)試方法 2.4.3 凈室測(cè)試方法 2.4.4 應(yīng)用實(shí)例分析 習(xí)題第3章 機(jī)載計(jì)算機(jī)操作系統(tǒng) 3.1 概述 3.1.1 嵌入式系統(tǒng)的特點(diǎn) 3.1.2 實(shí)時(shí)系統(tǒng)的特點(diǎn) 3.1.3 機(jī)載計(jì)算機(jī)操作系統(tǒng)的特點(diǎn) 3.1.4 機(jī)載計(jì)算機(jī)操作系統(tǒng)的比較 3.2 嵌入式實(shí)時(shí)系統(tǒng)軟件開發(fā)設(shè)計(jì) 3.2.1 開發(fā)模型 3.2.2 開發(fā)過(guò)程 3.2.3 開發(fā)工具 3.3 VxWorks操作系統(tǒng)的特點(diǎn)、組成及配置 3.3.1 VxWorks操作系統(tǒng)的特點(diǎn) 3.3.2 VxWorks操作系統(tǒng)的組成 3.3.3 VxWorks操作系統(tǒng)的基本配置 3.4 VxWorks的任務(wù)、任務(wù)編程接口及任務(wù)問(wèn)通信 3.4.1 任務(wù)的含義及特征 3.4.2 Wind系統(tǒng)調(diào)度機(jī)制 3.4.3 控制函數(shù)及通信方法 3.5 VxWorks的信號(hào)、中斷處理及定時(shí)機(jī)制 3.5.1 信號(hào)的含義及配置 3.5.2 中斷服務(wù)程序的設(shè)置及特殊限制 3.5.3 POSIX計(jì)時(shí)器的特點(diǎn)及實(shí)例分析 習(xí)題第4章 機(jī)載計(jì)算機(jī)軟件開發(fā)環(huán)境 4.1 Tornado集成開發(fā)環(huán)境簡(jiǎ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)境及實(shí)例分析 4.3.1 主機(jī)/目標(biāo)機(jī)開發(fā)環(huán)境 4.3.2 x86系列目標(biāo)機(jī)調(diào)試環(huán)境的建立 4.3.3 編程實(shí)例分析 習(xí)題第5章 機(jī)載計(jì)算機(jī)軟件開發(fā)語(yǔ)言 5.1 Ada語(yǔ)言概述 5.1.1 Ada語(yǔ)言簡(jiǎn)介 5.1.2 Ada語(yǔ)言與C語(yǔ)言和Java語(yǔ)言的比較 5.1.3 Ada語(yǔ)言的開發(fā)環(huán)境 5.2 語(yǔ)法成分及數(shù)據(jù)類型 5.2.1 基本語(yǔ)法成分 5.2.2 標(biāo)量類型及復(fù)合類型 5.2.3 自定義類型及訪問(wèn)類型 5.2.4 字符及字符串類型 5.3 程序控制結(jié)構(gòu)及子程序 5.3.1 3種程序結(jié)構(gòu) 5.3.2 過(guò)程和函數(shù) 5.3.3 方法重載 5.3.4 程序包及私有類型 5.4 面向?qū)ο蟪绦蛟O(shè)計(jì) 5.4.1 標(biāo)志類型及抽象類型的定義 5.4.2 繼承及派生的實(shí)現(xiàn) 5.4.3 多態(tài)性及類屬單元 5.5 并發(fā)程序設(shè)計(jì) 5.5.1 任務(wù)的含義及特征 5.5.2 任務(wù)的控制語(yǔ)句 5.5.3 任務(wù)的通信方式 5.5.4 保護(hù)類型 習(xí)題第6章 機(jī)載計(jì)算機(jī)軟件系統(tǒng)發(fā)展趨勢(shì) 6.1 軟件結(jié)構(gòu)的發(fā)展趨勢(shì) 6.2 設(shè)計(jì)方法的發(fā)展趨勢(shì) 6.3 操作系統(tǒng)的發(fā)展趨勢(shì) 6.4 開發(fā)環(huán)境的發(fā)展趨勢(shì) 習(xí)題附錄 附錄A Ada95語(yǔ)言的程序包 附錄B Ada95語(yǔ)言的預(yù)定義屬性 附錄C Ada95語(yǔ)言的預(yù)定義編用 附錄D Ada95語(yǔ)言的常用詞匯參考文獻(xiàn)
章節(jié)摘錄
第1章 機(jī)載計(jì)算機(jī)軟件結(jié)構(gòu) 1.1系統(tǒng)設(shè)計(jì)思想 1.1.1系統(tǒng)描述 在先進(jìn)的飛機(jī)上,由于功能的增加,因而也要求其承載的電子設(shè)備的功能迅速地增強(qiáng),在完成本本的飛行和戰(zhàn)斗任務(wù)時(shí),飛機(jī)所必需的基本電子設(shè)備如下: ?。?)按設(shè)備類型分類的電子子系統(tǒng)有雷達(dá)、接收機(jī)和發(fā)射機(jī)、導(dǎo)航、電源和配電管理、通信、控制和顯示儀器儀表、敵我識(shí)別、瞄準(zhǔn)/射擊系統(tǒng)和地形回避及地形跟蹤。
圖書封面
圖書標(biāo)簽Tags
無(wú)
評(píng)論、評(píng)分、閱讀與下載