123,123

內(nèi)容簡(jiǎn)介

　　本書(shū)從理論和實(shí)踐兩個(gè)維度深入解讀了民用飛機(jī)機(jī)載軟件具代表性的符合性方法RTCA DO-178C標(biāo)準(zhǔn)。作為機(jī)載軟件的適航符合性方法，DO-178C標(biāo)準(zhǔn)在國(guó)內(nèi)的應(yīng)用方興未艾。作者就該標(biāo)準(zhǔn)的相關(guān)內(nèi)容和知識(shí)，結(jié)合目標(biāo)、過(guò)程和數(shù)據(jù)，對(duì)DO-178C標(biāo)準(zhǔn)進(jìn)行了系統(tǒng)性的解讀。同時(shí)根據(jù)機(jī)載軟件項(xiàng)目經(jīng)驗(yàn)，對(duì)DO-178C標(biāo)準(zhǔn)在機(jī)載項(xiàng)目實(shí)施過(guò)程中出現(xiàn)的典型情況進(jìn)行分析和總結(jié)。最后，通過(guò)與其他行業(yè)安全相關(guān)軟件常用研制標(biāo)準(zhǔn)的對(duì)比，為研制單位在現(xiàn)有基礎(chǔ)上快速建立滿足DO-178C要求的軟件研制體系提供參考?？紤]到DO-178B與DO-178C標(biāo)準(zhǔn)將長(zhǎng)期共存，除非強(qiáng)DO-178B標(biāo)準(zhǔn)的典型差異，本書(shū)的內(nèi)容也適用于DO-178B標(biāo)準(zhǔn)。

作者簡(jiǎn)介

　　鄭征，男，北京航空航天大學(xué)自動(dòng)化科學(xué)與電氣工程學(xué)院副院長(zhǎng)，教授，博士生導(dǎo)師。研究方向主要圍繞機(jī)載軟件、機(jī)器學(xué)習(xí)軟件及航空航天智能系統(tǒng)的可信性問(wèn)題，包括可信智能軟件、可靠機(jī)載軟件、智能任務(wù)規(guī)劃等。

圖書(shū)目錄

緒論 1
1.1 機(jī)載軟件 2
1.1.1 機(jī)載計(jì)算機(jī) 2
1.1.2 機(jī)載軟件的重要性 2
1.1.3 機(jī)載軟件體系結(jié)構(gòu) 3
1.2 RTCA DO-178C發(fā)展概述 5
1.3 本章小結(jié) 8
2 相關(guān)知識(shí)概述 9
2.1 適航及民用航空器安全性 9
2.1.1 適航標(biāo)準(zhǔn) 9
2.1.2 適航管理 10
2.1.3 適航技術(shù)和符合性方法 11
2.2 機(jī)載設(shè)備的技術(shù)標(biāo)準(zhǔn) 14
2.3 機(jī)載設(shè)備的適航管理 16
2.4 相關(guān)技術(shù)發(fā)展趨勢(shì) 19
2.4.1 軟件安全性 19
2.4.2 軟件可靠性 21
2.5 本章小結(jié) 23
3 基本內(nèi)容 24
3.1 適航條款與DO-178C 24
3.2 過(guò)程保證與層次化方法 27
3.3 過(guò)程保證與軟件研制 29
3.4 失效條件和軟件等級(jí) 31
3.5 目標(biāo)分布統(tǒng)計(jì) 33
3.6 DO-178C主要內(nèi)容 36
3.7 DO -178C的新變化 44
3.8 本章小結(jié) 50
4 過(guò)程分析 51
4.1 過(guò)程的含義 51
4.1.1 軟件計(jì)劃過(guò)程 51
4.1.2 軟件開(kāi)發(fā)過(guò)程 53
4.1.3 軟件綜合過(guò)程 54
4.2 過(guò)程的結(jié)構(gòu) 56
4.3 過(guò)程間的交互 62
4.4 本章小結(jié) 77
5 目標(biāo)分析 78
5.1 目標(biāo)的含義 78
5.1.1 目標(biāo)的詳細(xì)描述 78
5.1.2 DO-178C新增目標(biāo)描述 101
5.1.3 目標(biāo)間的關(guān)系 103
5.2 目標(biāo)的分布與差異 106
5.3 目標(biāo)和過(guò)程之間的關(guān)系 115
5.4 DO-178C目標(biāo)分布的因素推測(cè) 120
5.5 本章小結(jié) 122
6 附加考慮 123
6.1 先前開(kāi)發(fā)的軟件 123
6.1.1 相關(guān)考慮 124
6.1.2 適航影響 126
6.2 工具鑒定 130
6.2.1 DO-178B工具鑒定 131
6.2.2 DO-78B工具鑒定要求 133
6.2.3 工具操作需求 135
6.2.4 DO-178C中的工具鑒定 135
6.3 非激活代碼?死代碼及無(wú)關(guān)代碼 144
6.4 外場(chǎng)可加載軟件 146
6.5 用戶可修改軟件 147
6.6 商用貨架成品軟件 148
6.7 參數(shù)化數(shù)據(jù)項(xiàng) 149
6.8 替代方法 151
6.8.1 窮舉測(cè)試 151
6.8.2 多版本非相似軟件 153
6.8.3 服務(wù)歷史記錄 155
6.9 新技術(shù)與新方法的使用 155
6.9.1 基于模型的開(kāi)發(fā)和驗(yàn)證 155
6.9.2 面向?qū)ο蠹夹g(shù) 157
6.9.3 形式化方法 159
6.9.4 單一需求等級(jí) 164
6.10 本章小結(jié) 166
7 DO-178C的應(yīng)用 167
7.1 軟件適航規(guī)劃要結(jié)合軟件項(xiàng)目實(shí)際 168
7.2 注重整機(jī)?系統(tǒng)和軟件項(xiàng)目間的銜接 170
7.3 軟件等級(jí)的確定不能想當(dāng)然 171
7.4 軟件研制體系 172
7.5 軟件研制活動(dòng)與表明符合性的協(xié)同 173
7.6 系統(tǒng)符合性試驗(yàn)前需要對(duì)軟件進(jìn)行成熟度評(píng)估 178
7.7 供應(yīng)商管理是符合性表明工作中的重要部分 181
7.8 軟件審定及其關(guān)注要點(diǎn) 182
7.8.1 審查介入階段 182
7.8.2 介入程度 186
7.9 變更影響分析及證后更改 187
7.10 先前開(kāi)發(fā)軟件與先前鑒定工具 188
7.11 重視軟件構(gòu)型管理工作 189
7.12 重視軟件質(zhì)量保證工作 190
7.13 工具不是的解藥 190
7.14 本章小結(jié) 191
8 DO-178C與相關(guān)工業(yè)標(biāo)準(zhǔn)關(guān)系分析 192
8.1 ARP 4754A(民用飛機(jī)和系統(tǒng)開(kāi)發(fā)指南) 193
8.1.1 標(biāo)準(zhǔn)簡(jiǎn)介 193
8.1.2 與DO-178C的關(guān)系 196
8.2 ARP 4761(民用機(jī)載系統(tǒng)和設(shè)備安全性評(píng)估過(guò)程的指南和方法) 198
8.2.1 標(biāo)準(zhǔn)簡(jiǎn)介 198
8.2.2 與DO-178C的關(guān)系 200
8.3 DO-254(機(jī)載電子硬件的設(shè)計(jì)保證指南) 201
8.3.1 標(biāo)準(zhǔn)簡(jiǎn)介 201
8.3.2 與DO-78C的關(guān)系 203
8.4 DO-248C(DO-178C的常見(jiàn)問(wèn)題解答) 206
8.4.1 標(biāo)準(zhǔn)簡(jiǎn)介 206
8.4.2 與DO -178C的關(guān)系 208
8.5 DO-278A(地面和空中交通管制軟件標(biāo)準(zhǔn)) 213
8.5.1 標(biāo)準(zhǔn)簡(jiǎn)介 213
8.5.2 與DO -178C的關(guān)系 216
8.6 DO-330(工具鑒定) 217
8.6.1 標(biāo)準(zhǔn)簡(jiǎn)介 217
8.6.2 與DO-178C的關(guān)系 220
8.7 本章小結(jié) 222
9 DO-178C與相關(guān)軟件標(biāo)準(zhǔn)比較分析 224
9.1 與GJB5000A 2008對(duì)比分析 224
9.1.1 標(biāo)準(zhǔn)簡(jiǎn)介 224
9.1.2 與DO- 178C的比較 227
9.2 與IEC 61508-3對(duì)比分析 229
9.2.1 標(biāo)準(zhǔn)簡(jiǎn)介 229
9.2.2 與DO -178C的比較 232
9.3 與EN 50128對(duì)比分析 234
9.3.1 標(biāo)準(zhǔn)簡(jiǎn)介 234
9.3.2 與DO-178C的比較 236
9.4 與IEEE-EIA 12207.0對(duì)比分析 239
9.4.1 標(biāo)準(zhǔn)簡(jiǎn)介 239
9.4.2 與DO -178C的比較 242
9.5 與ESA PSS- 05- 0對(duì)比分析 243
9.5.1 標(biāo)準(zhǔn)簡(jiǎn)介 243
9.5.2 與DO-178C的比較 247
9.6 與FDA指南對(duì)比分析 250
9.6.1 標(biāo)準(zhǔn)簡(jiǎn)介 250
9.6.2 與DO-178C的比較 253
9.7 本章小結(jié) 254
10 總結(jié)和展望 256
附錄A DO-178C及其補(bǔ)充文件的目標(biāo)矩陣表 260
附錄B 軟件合格審定計(jì)劃案例 276
參考文獻(xiàn) 281
縮略語(yǔ) 284
索引 289