機(jī)載軟件適航標(biāo)準(zhǔn)DO-178B/C研究

1 緒論
1.1 機(jī)載計(jì)算機(jī)及機(jī)載軟件
1.1.1 機(jī)載計(jì)算機(jī)
1.1.2 機(jī)載軟件的重要
1.1.3 機(jī)載軟件體系結(jié)構(gòu)
1.2 RTCA DO-178B／C標(biāo)準(zhǔn)發(fā)展概述
2 相關(guān)知識(shí)概述
2.1 適航及民用航空器安全性
2.1.1 適航標(biāo)準(zhǔn)
2.1.2 適航管理
2.1.3 適航技術(shù)和符合性方法
2.2 機(jī)載設(shè)備的技術(shù)標(biāo)準(zhǔn)
2.3 機(jī)載設(shè)備的適航管理
2.4 相關(guān)技術(shù)發(fā)展趨勢(shì)
2.4.1 軟件安全性
2.4.2 軟件可靠性
3 基本內(nèi)容
3.1 基本理念
3.2 軟件生命周期過(guò)程
3.3 失效條件和軟件級(jí)別
3.4 目標(biāo)概述
3.5 DO-178B標(biāo)準(zhǔn)的主要內(nèi)容及章節(jié)安排
3.6 DO-178C標(biāo)準(zhǔn)的新變化
4 過(guò)程分析
4.1 過(guò)程的含義
4.1.1 軟件計(jì)劃過(guò)程
4.1.2 軟件開(kāi)發(fā)過(guò)程
4.1.3 軟件綜合過(guò)程
4.2 過(guò)程的結(jié)構(gòu)
4.3 過(guò)程間的交互
4.4 本章小結(jié)
5 目標(biāo)分析
5.1 目標(biāo)的含義
5.1.1 目標(biāo)的詳細(xì)描述
5.1.2 DO-178C新增目標(biāo)描述
5.1.3 目標(biāo)間的關(guān)系
5.2 目標(biāo)的分布與差異
5.3 目標(biāo)和過(guò)程之間的關(guān)系
5.4 本章小結(jié)
6 DO-178B／C標(biāo)準(zhǔn)的附加考慮
6.1 先前開(kāi)發(fā)的軟件
6.1.1 相關(guān)考慮
6.1.2 適航影響
6.2 使用自動(dòng)化工具進(jìn)行軟件的開(kāi)發(fā)和驗(yàn)證
6.2.1 工具鑒定
6.2.2 開(kāi)發(fā)和驗(yàn)證工具的鑒定要求
6.2.3 工具操作需求
6.2.4 DO-178C中的工具鑒定
6.3 使用可實(shí)現(xiàn)對(duì)DO-178B替代的其他方法
6.3.1 形式化方法
6.3.2 窮舉測(cè)試
6.3.3 多版本非相似軟件
6.3.4 服務(wù)歷史記錄
6.4 本章小結(jié)
7 DO-178B／C標(biāo)準(zhǔn)的應(yīng)用
7.1 應(yīng)用準(zhǔn)則
7.1.1 系統(tǒng)和軟件研制單位的研制準(zhǔn)則
7.1.2 取證試驗(yàn)
7.1.3 整機(jī)研制單位的研制準(zhǔn)則
7.1.4 審查部門的審定方式
7.2 對(duì)標(biāo)準(zhǔn)的偏離
7.2.1 軟件級(jí)別的確定
7.2.2 非激活代碼
7.2.3 驗(yàn)證試驗(yàn)前軟件成熟度
7.2.4 單一需求級(jí)別
7.2.5 商用貨架成品軟件
7.2.6 參數(shù)化數(shù)據(jù)項(xiàng)
7.2.7 面向?qū)ο蠹夹g(shù)
7.2.8 基于模型的研制和驗(yàn)證
7.3 本章小結(jié)
8 DO-178B標(biāo)準(zhǔn)與相關(guān)工業(yè)標(biāo)準(zhǔn)關(guān)系分析
8.1 ARP 4754（關(guān)于高度綜合或復(fù)雜飛機(jī)系統(tǒng)的合格審定考慮）
8.1.1 標(biāo)準(zhǔn)簡(jiǎn)介
8.1.2 與DO-178B的關(guān)系
8.2 ARP 4761（民用機(jī)載系統(tǒng)和設(shè)備安全性評(píng)估過(guò)程的指南和方法）
8.2.1 標(biāo)準(zhǔn)簡(jiǎn)介
8.2.2 與D0-178B的關(guān)系
8.3 DO-254（機(jī)載電子硬件的設(shè)計(jì)保證指南）
8.3.1 標(biāo)準(zhǔn)簡(jiǎn)介
8.3.2 與DO-178B的關(guān)系
8.4 DO-248B／C（D0178的FAQ）
8.4.1 標(biāo)準(zhǔn)簡(jiǎn)介
8.4.2 與D0-178B／C的關(guān)系
8.5 D0-278（地面和空中交通管制軟件標(biāo)準(zhǔn)）
8.5.1 標(biāo)準(zhǔn)簡(jiǎn)介
8.5.2 與DO-178B的關(guān)系
8.6 DO-330（工具鑒定）
8.6.1 標(biāo)準(zhǔn)簡(jiǎn)介
8.6.2 與DO-178B的關(guān)系
8.7 本章小結(jié)
9 DO-178B標(biāo)準(zhǔn)與相關(guān)軟件標(biāo)準(zhǔn)比較分析
9.1 與GJB 5000A-2008對(duì)比分析
9.1.1 標(biāo)準(zhǔn)簡(jiǎn)介
9.1.2 與DO-178B的比較
9.2 與IEC 61508-3對(duì)比分析
9.2.1 標(biāo)準(zhǔn)簡(jiǎn)介
9.2.2 與DO-178B的比較
9.3 與EN 50128對(duì)比分析
9.3.1 標(biāo)準(zhǔn)簡(jiǎn)介
9.3.2 與DO-178B的比較
9.4 與IEEE-EIA 12207.0對(duì)比分析
9.4.1 標(biāo)準(zhǔn)簡(jiǎn)介
9.4.2 與DO-178B的比較
9.5 與ESA PSS-05-0對(duì)比分析
9.5.1 標(biāo)準(zhǔn)簡(jiǎn)介
9.5.2 與DO-178B的比較
9.6 與FDA指南對(duì)比分析
9.6.1 標(biāo)準(zhǔn)簡(jiǎn)介
9.6.2 與D0-178B的比較
9.7 本章小結(jié)
10 總結(jié)與展望
附錄A DO-178C及其補(bǔ)充文件的目標(biāo)矩陣表
A-1 Do-178C目標(biāo)矩陣表
A-2 D0-331目標(biāo)矩陣表
A-3 DO-332目標(biāo)矩陣表
A-4 DO-333目標(biāo)矩陣表
附錄B 軟件審定計(jì)劃案例
參考文獻(xiàn)
縮略語(yǔ)
索引