航空電子軟件屬于安全關(guān)鍵軟件，其質(zhì)量和安全性受到格外關(guān)注。軟件工程是保證軟件質(zhì)量和安全性的有效方法，軟件工程的核心要素包括過(guò)程、方法與工具。該書圍繞航空電子軟件的安全性和適航性，基于D0-178C定義的軟件生命周期過(guò)程展開了軟件工程過(guò)程及其直接相關(guān)的管理活動(dòng)的闡述，并重點(diǎn)關(guān)注安全性、適航性、綜合模塊化航空電子（IMA）系統(tǒng)和基于模型的軟件開發(fā)方法。
《航空電子軟件開發(fā)與適航》適用于從事民用飛機(jī)航空電子軟件的開發(fā)、驗(yàn)證、配置管理、質(zhì)量保證或?qū)彾?lián)絡(luò)人員，對(duì)從事其他軟件工程的相關(guān)技術(shù)人員均有很好的參考價(jià)值。
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 航空電子軟件開發(fā)相關(guān)要求
1．4．1 ARP 4754A《航空器與系統(tǒng)開發(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 本書概覽
2 軟件開發(fā)模型、方法和計(jì)劃
2．1 軟件生命周期模型
2．1．1 瀑布模型和V模型
2．1．2 迭代模型和敏捷過(guò)程
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 軟件計(jì)劃
2．3．1 軟件合格審定計(jì)劃
2．3．2 軟件開發(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 軟件需求類型
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 軟件需求編寫
3．4．1 需求編寫的要求
3．4．2 功能需求的編寫
……
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ǔ)
索引
書單推薦
