航空電子軟件開發(fā)與適航

定　價：￥345.00

作　者：	馮培德，繆萬勝，王金巖，王云明編
出版社：	上海交通大學(xué)出版社
叢編項：
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787313227713	出版時間：	2020-06-01	包裝：	精裝
開本：	16開	頁數(shù)：	512	字?jǐn)?shù)：

內(nèi)容簡介

　　航空電子軟件屬于安全關(guān)鍵軟件，其質(zhì)量和安全性受到格外關(guān)注。軟件工程是保證軟件質(zhì)量和安全性的有效方法，軟件工程的核心要素包括過程、方法與工具。該書圍繞航空電子軟件的安全性和適航性，基于D0-178C定義的軟件生命周期過程展開了軟件工程過程及其直接相關(guān)的管理活動的闡述，并重點關(guān)注安全性、適航性、綜合模塊化航空電子（IMA）系統(tǒng)和基于模型的軟件開發(fā)方法。《航空電子軟件開發(fā)與適航》適用于從事民用飛機航空電子軟件的開發(fā)、驗證、配置管理、質(zhì)量保證或?qū)彾?lián)絡(luò)人員，對從事其他軟件工程的相關(guān)技術(shù)人員均有很好的參考價值。

作者簡介

暫缺《航空電子軟件開發(fā)與適航》作者簡介

圖書目錄

1 緒論
1．1 航空電子軟件的定義
1．1．1 航空電子系統(tǒng)
1．1．2 航空電子軟件
1．2 航空電子軟件的特點
1．2．1 嵌入式實時
1．2．2 安全性
1．2．3 適航性
1．3 航空電子軟件的發(fā)展
1．3．1 航空電子系統(tǒng)的發(fā)展歷程
1．3．2 航空電子軟件的發(fā)展歷程
1．3．3 航空電子軟件的發(fā)展趨勢
1．4 航空電子軟件開發(fā)相關(guān)要求
1．4．1 ARP 4754A《航空器與系統(tǒng)開發(fā)指南》
1．4．2 ARP 4761《民用機載系統(tǒng)與設(shè)備的安全性評估過程指南與方法》
1．4．3 DO-297《綜合模塊化航空電子系統(tǒng)研制與審定指南》
1．4．4 DO-178C《機載系統(tǒng)和設(shè)備合格審定中的軟件考慮》
1．4．5 能力成熟度模型集成（CMMI）
1．4．6 DO-178C與能力成熟度模型集成（CMMI）的差異
1．5 本書概覽
2 軟件開發(fā)模型、方法和計劃
2．1 軟件生命周期模型
2．1．1 瀑布模型和V模型
2．1．2 迭代模型和敏捷過程
2．2 軟件開發(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 軟件計劃
2．3．1 軟件合格審定計劃
2．3．2 軟件開發(fā)計劃
2．3．3 軟件驗證計劃
2．3．4 軟件配置管理計劃
2．3．5 軟件質(zhì)量保證計劃
3 軟件需求
3．1 概述
3．1．1 系統(tǒng)需求和軟件需求
3．1．2 需求層級
3．1．3 軟件需求類型
3．1．4 軟件需求過程
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)先級劃分
3．4 軟件需求編寫
3．4．1 需求編寫的要求
3．4．2 功能需求的編寫
……
4 軟件設(shè)計
5 軟件實現(xiàn)
6 軟件驗證
7 軟件配置管理
8 軟件質(zhì)量保證
9 軟件合格審定
10 工具鑒定
11 實時操作系統(tǒng)與分區(qū)
12 健康管理
參考文獻(xiàn)
縮略語
索引