航空電子軟件開(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 軟件需求類型
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ǔ)
索引