午夜无码久久不卡,波多野结衣老师丝袜紧身裙,亚洲精品一日在线播放无码

內(nèi)容簡介

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

作者簡介

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

圖書目錄

緒論 1
1.1 機(jī)載軟件 2
1.1.1 機(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)知識概述 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ā)展趨勢 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 目標(biāo)分布統(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 目標(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ān)系 115
5.4 DO-178C目標(biāo)分布的因素推測 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 注重整機(jī)?系統(tǒng)和軟件項目間的銜接 170
7.3 軟件等級的確定不能想當(dāng)然 171
7.4 軟件研制體系 172
7.5 軟件研制活動與表明符合性的協(xié)同 173
7.6 系統(tǒng)符合性試驗前需要對軟件進(jìn)行成熟度評估 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è)標(biāo)準(zhǔn)關(guān)系分析 192
8.1 ARP 4754A(民用飛機(jī)和系統(tǒng)開發(fā)指南) 193
8.1.1 標(biāo)準(zhǔn)簡介 193
8.1.2 與DO-178C的關(guān)系 196
8.2 ARP 4761(民用機(jī)載系統(tǒng)和設(shè)備安全性評估過程的指南和方法) 198
8.2.1 標(biāo)準(zhǔn)簡介 198
8.2.2 與DO-178C的關(guān)系 200
8.3 DO-254(機(jī)載電子硬件的設(shè)計保證指南) 201
8.3.1 標(biāo)準(zhǔn)簡介 201
8.3.2 與DO-78C的關(guān)系 203
8.4 DO-248C(DO-178C的常見問題解答) 206
8.4.1 標(biāo)準(zhǔ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)簡介 213
8.5.2 與DO -178C的關(guān)系 216
8.6 DO-330(工具鑒定) 217
8.6.1 標(biāo)準(zhǔ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對比分析 224
9.1.1 標(biāo)準(zhǔn)簡介 224
9.1.2 與DO- 178C的比較 227
9.2 與IEC 61508-3對比分析 229
9.2.1 標(biāo)準(zhǔn)簡介 229
9.2.2 與DO -178C的比較 232
9.3 與EN 50128對比分析 234
9.3.1 標(biāo)準(zhǔn)簡介 234
9.3.2 與DO-178C的比較 236
9.4 與IEEE-EIA 12207.0對比分析 239
9.4.1 標(biāo)準(zhǔn)簡介 239
9.4.2 與DO -178C的比較 242
9.5 與ESA PSS- 05- 0對比分析 243
9.5.1 標(biāo)準(zhǔn)簡介 243
9.5.2 與DO-178C的比較 247
9.6 與FDA指南對比分析 250
9.6.1 標(biāo)準(zhǔn)簡介 250
9.6.2 與DO-178C的比較 253
9.7 本章小結(jié) 254
10 總結(jié)和展望 256
附錄A DO-178C及其補(bǔ)充文件的目標(biāo)矩陣表 260
附錄B 軟件合格審定計劃案例 276
參考文獻(xiàn) 281
縮略語 284
索引 289