掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類(lèi)五星書(shū)更多>
-
>
公路車(chē)寶典(ZINN的公路車(chē)維修與保養(yǎng)秘籍)
-
>
晶體管電路設(shè)計(jì)(下)
-
>
基于個(gè)性化設(shè)計(jì)策略的智能交通系統(tǒng)關(guān)鍵技術(shù)
-
>
花樣百出:貴州少數(shù)民族圖案填色
-
>
山東教育出版社有限公司技術(shù)轉(zhuǎn)移與技術(shù)創(chuàng)新歷史叢書(shū)中國(guó)高等技術(shù)教育的蘇化(1949—1961)以北京地區(qū)為中心
-
>
鐵路機(jī)車(chē)概要.交流傳動(dòng)內(nèi)燃.電力機(jī)車(chē)
-
>
利維坦的道德困境:早期現(xiàn)代政治哲學(xué)的問(wèn)題與脈絡(luò)
中圖價(jià):¥272.6
加入購(gòu)物車(chē)
航空電子軟件開(kāi)發(fā)與適航 版權(quán)信息
- ISBN：9787313227713
- 條形碼：9787313227713 ; 978-7-313-22771-3
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類(lèi)：>
航空電子軟件開(kāi)發(fā)與適航 內(nèi)容簡(jiǎn)介
本書(shū)圍繞航空電子軟件的安全性和適航性, 基于DO-178C定義的軟件生命周期過(guò)程展開(kāi)了軟件工程過(guò)程及其直接相關(guān)的管理活動(dòng)的闡述, 并重點(diǎn)關(guān)注安全性、適航性、綜合模塊化航空電子 (IMA) 系統(tǒng)和基于模型的軟件開(kāi)發(fā)方法。
航空電子軟件開(kāi)發(fā)與適航 目錄
1 緒論
1．1 航空電子軟件的定義
1．1．1 航空電子系統(tǒng)
1．1．2 航空電子軟件
1．2 航空電子軟件的特點(diǎn)
1．2．1 嵌入式實(shí)時(shí)
1．2．2 安全性
1．2．3 適航性
1．3 航空電子軟件的發(fā)展
1．3．1 航空電子系統(tǒng)的發(fā)展歷程
1．3．2 航空電子軟件的發(fā)展歷程
1．3．3 航空電子軟件的發(fā)展趨勢(shì)
1．4 航空電子軟件開(kāi)發(fā)相關(guān)要求
1．4．1 ARP 4754A《航空器與系統(tǒng)開(kāi)發(fā)指南》
1．4．2 ARP 4761《民用機(jī)載系統(tǒng)與設(shè)備的安全性評(píng)估過(guò)程指南與方法》
1．4．3 DO-297《綜合模塊化航空電子系統(tǒng)研制與審定指南》
1．4．4 DO-178C《機(jī)載系統(tǒng)和設(shè)備合格審定中的軟件考慮》
1．4．5 能力成熟度模型集成（CMMI）
1．4．6 DO-178C與能力成熟度模型集成（CMMI）的差異
1．5 本書(shū)概覽
2 軟件開(kāi)發(fā)模型、方法和計(jì)劃
2．1 軟件生命周期模型
2．1．1 瀑布模型和V模型
2．1．2 迭代模型和敏捷過(guò)程
2．2 軟件開(kāi)發(fā)方法
2．2．1 結(jié)構(gòu)化方法
2．2．2 面向?qū)ο蠓椒ê虳O-332
2．2．3 形式化方法和DO-333
2．2．4 基于模型的方法和DO-331
2．2．5 軟件產(chǎn)品線工程方法
2．3 軟件計(jì)劃
2．3．1 軟件合格審定計(jì)劃
2．3．2 軟件開(kāi)發(fā)計(jì)劃
2．3．3 軟件驗(yàn)證計(jì)劃
2．3．4 軟件配置管理計(jì)劃
2．3．5 軟件質(zhì)量保證計(jì)劃
3 軟件需求
3．1 概述
3．1．1 系統(tǒng)需求和軟件需求
3．1．2 需求層級(jí)
3．1．3 軟件需求類(lèi)型
3．1．4 軟件需求過(guò)程
3．2 軟件需求獲取
3．3 軟件需求分析建模
3．3．1 建立軟件需求標(biāo)準(zhǔn)
3．3．2 選擇需求分析建模方法
3．3．3 基于用例的分析建模方法
3．3．4 結(jié)構(gòu)化分析建模方法
3．3．5 軟件安全性需求分析
3．3．6 需求優(yōu)先級(jí)劃分
3．4 軟件需求編寫(xiě)
3．4．1 需求編寫(xiě)的要求
3．4．2 功能需求的編寫(xiě)
……
4 軟件設(shè)計(jì)
5 軟件實(shí)現(xiàn)
6 軟件驗(yàn)證
7 軟件配置管理
8 軟件質(zhì)量保證
9 軟件合格審定
10 工具鑒定
11 實(shí)時(shí)操作系統(tǒng)與分區(qū)
12 健康管理
參考文獻(xiàn)
縮略語(yǔ)
索引
1．1 航空電子軟件的定義
1．1．1 航空電子系統(tǒng)
1．1．2 航空電子軟件
1．2 航空電子軟件的特點(diǎn)
1．2．1 嵌入式實(shí)時(shí)
1．2．2 安全性
1．2．3 適航性
1．3 航空電子軟件的發(fā)展
1．3．1 航空電子系統(tǒng)的發(fā)展歷程
1．3．2 航空電子軟件的發(fā)展歷程
1．3．3 航空電子軟件的發(fā)展趨勢(shì)
1．4 航空電子軟件開(kāi)發(fā)相關(guān)要求
1．4．1 ARP 4754A《航空器與系統(tǒng)開(kāi)發(fā)指南》
1．4．2 ARP 4761《民用機(jī)載系統(tǒng)與設(shè)備的安全性評(píng)估過(guò)程指南與方法》
1．4．3 DO-297《綜合模塊化航空電子系統(tǒng)研制與審定指南》
1．4．4 DO-178C《機(jī)載系統(tǒng)和設(shè)備合格審定中的軟件考慮》
1．4．5 能力成熟度模型集成（CMMI）
1．4．6 DO-178C與能力成熟度模型集成（CMMI）的差異
1．5 本書(shū)概覽
2 軟件開(kāi)發(fā)模型、方法和計(jì)劃
2．1 軟件生命周期模型
2．1．1 瀑布模型和V模型
2．1．2 迭代模型和敏捷過(guò)程
2．2 軟件開(kāi)發(fā)方法
2．2．1 結(jié)構(gòu)化方法
2．2．2 面向?qū)ο蠓椒ê虳O-332
2．2．3 形式化方法和DO-333
2．2．4 基于模型的方法和DO-331
2．2．5 軟件產(chǎn)品線工程方法
2．3 軟件計(jì)劃
2．3．1 軟件合格審定計(jì)劃
2．3．2 軟件開(kāi)發(fā)計(jì)劃
2．3．3 軟件驗(yàn)證計(jì)劃
2．3．4 軟件配置管理計(jì)劃
2．3．5 軟件質(zhì)量保證計(jì)劃
3 軟件需求
3．1 概述
3．1．1 系統(tǒng)需求和軟件需求
3．1．2 需求層級(jí)
3．1．3 軟件需求類(lèi)型
3．1．4 軟件需求過(guò)程
3．2 軟件需求獲取
3．3 軟件需求分析建模
3．3．1 建立軟件需求標(biāo)準(zhǔn)
3．3．2 選擇需求分析建模方法
3．3．3 基于用例的分析建模方法
3．3．4 結(jié)構(gòu)化分析建模方法
3．3．5 軟件安全性需求分析
3．3．6 需求優(yōu)先級(jí)劃分
3．4 軟件需求編寫(xiě)
3．4．1 需求編寫(xiě)的要求
3．4．2 功能需求的編寫(xiě)
……
4 軟件設(shè)計(jì)
5 軟件實(shí)現(xiàn)
6 軟件驗(yàn)證
7 軟件配置管理
8 軟件質(zhì)量保證
9 軟件合格審定
10 工具鑒定
11 實(shí)時(shí)操作系統(tǒng)與分區(qū)
12 健康管理
參考文獻(xiàn)
縮略語(yǔ)
索引
展開(kāi)全部
書(shū)友推薦
- >
企鵝口袋書(shū)系列·偉大的思想20:論自然選擇(英漢雙語(yǔ))
- >
經(jīng)典常談
- >
回憶愛(ài)瑪儂
- >
朝聞道
- >
姑媽的寶刀
- >
中國(guó)歷史的瞬間
- >
上帝之肋:男人的真實(shí)旅程
- >
中國(guó)人在烏蘇里邊疆區(qū):歷史與人類(lèi)學(xué)概述
本類(lèi)暢銷(xiāo)
