機載軟件適航標準教程

定　價：￥168.00

作　者：	鄭征，蔡喁，申岳著
出版社：	上海交通大學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787313241344	出版時間：	2022-01-01	包裝：
開本：		頁數(shù)：		字數(shù)：

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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