本書面向航空航天、軌道交通、機器人、汽車電子、智能家電等與安全相關領域,圍繞嵌入式軟件功能安全技術,詳細講述了國內(nèi)外功能安全標準對產(chǎn)品軟件研發(fā)的管理和技術要求,覆蓋軟件的需求、設計、實現(xiàn)和驗證各個階段,以實際案例介紹功能安全技術如何在產(chǎn)品中應用、技術應用過程中存在的技術難度和注意事項。希望本書能夠幫助廣大讀者深入理解國內(nèi)外功能安全標準,提高產(chǎn)品研制水平,推動我國軟件功能安全技術發(fā)展。本書適合軌道交通產(chǎn)品軟件項目經(jīng)理、系統(tǒng)分析師、安全工程師、產(chǎn)品設計人員、測試工程師等從業(yè)人員以及感興趣的讀者閱讀。
楊春暉,1985年本科畢業(yè)于華中工學院固體電子學系,1991年研究生畢業(yè)于華南理工大學半導體物理與微電子技術,1991年-1997年在工信部電子五所電子技術開發(fā)研究室從事傳感器應用研究、軟件開發(fā)、系統(tǒng)集成,任工程師;1998年至今,歷任高級工程師、研究員級高工、副主任、主任,從事工程質(zhì)量保證、系統(tǒng)可靠性仿真、信息系統(tǒng)安全檢測、軟件評測技術研究,以及項目管理、實驗室質(zhì)量體系管理、信息系統(tǒng)安全保密管理、國際標準制定等工作。先后主持和完成包括"國家863課題”、"新一代寬帶無線通信網(wǎng)”重大專項、國家核高基重大專項、電子發(fā)展基金在內(nèi)的多項國家、部委和省市級重要科研、工程項目,組織承擔或參加工信部兩化融合、信息技術產(chǎn)業(yè)、新型工業(yè)化、軟件可靠性等相關領域的專題研究。
目錄
叢書編委會 1
總序 2
前言 4
目錄 6
第1章 緒論 11
1.1 安全性及軟件功能安全 11
1.2 安全相關軌道交通系統(tǒng) 12
1.3 軌道交通系統(tǒng)軟件功能安全 15
第2章 目標與安全完整性等級 18
2.1 軟件在系統(tǒng)中的定義 18
2.1.1標準條款 18
2.1.2條款理解及應用 19
2.2 軟件安全完整性等級 22
2.2.1標準條款 22
2.2.2條款理解及應用 23
2.3 軟件功能安全技術措施 30
2.3.1標準條款 30
2.3.2條款理解及應用 31
第3章 軟件管理與組織 37
3.1 組織、崗位與職責 37
3.1.1標準條款 37
3.1.2條款理解及應用 40
3.2 軟件人員能力 42
3.2.1標準條款 42
3.2.2條款理解及應用 43
3.3 軟件生命周期 49
3.3.1標準條款 49
3.3.2條款理解及應用 51
第4章 軟件測試 59
4.1 軟件測試過程 59
4.1.1標準條款 59
4.1.2條款理解及應用 60
4.2 軟件測試規(guī)范 62
4.2.1標準條款 62
4.2.2條款理解及應用 62
4.3 軟件測試報告 72
4.3.1標準條款 72
4.3.2條款理解及應用 73
第5章 軟件驗證 74
5.1目標 74
5.1.1標準條款 74
5.1.2條款解讀1 74
5.2輸入文檔 85
5.2.1標準條款 85
5.2.2條款解讀2 85
5.3輸出文檔 86
5.3.1標準條款 86
5.3.2條款解讀3 86
5.4要求 90
5.4.1標準條款 90
5.4.2條款解讀4 93
第6章 軟件確認 96
6.1目標 96
6.1.1標準條款 96
6.1.2條款解讀1 96
6.2輸入文檔 99
6.2.1標準條款 99
6.2.2條款解讀2 99
6.3輸出文檔 99
6.3.1標準條款 99
6.3.2條款解讀3 100
6.4要求 100
6.4.1標準條款 100
6.4.2條款解讀4 103
第7章 軟件評價 105
7.1目標 105
7.1.1標準條款 105
7.1.2條款解讀1 105
7.2輸入文檔 117
7.2.1標準條款 117
7.2.2條款解讀2 117
7.3輸出文檔 123
7.3.1標準條款 123
7.3.2條款解讀3 124
7.4要求 124
7.4.1標準條款 124
7.4.2條款解讀4 128
第8章 軟件質(zhì)量保證 131
8.1目標 131
8.1.1標準條款 131
8.1.2條款解讀1 131
8.2輸入文檔 138
8.2.1標準條款 138
8.2.2條款解讀2 139
8.3輸出文檔 139
8.3.1標準條款 139
8.3.2條款解讀3 139
8.4要求 150
8.4.1標準條款 150
8.4.2條款解讀4 155
第9章 軟件變更管理 158
9.1目標 158
9.1.1標準條款 158
9.1.2條款解讀1 158
9.2輸入文檔 167
9.2.1標準條款 167
9.2.2條款解讀2 167
9.3輸出文檔 178
9.3.1標準條款 178
9.3.2條款解讀3 179
9.4要求 180
9.4.1標準條款 180
9.4.2條款解讀4 181
第10章 支持的工具與語言 183
10.1目標 183
10.1.1標準條款 183
10.1.2條款解讀1 183
10.2輸入文檔 184
10.2.1標準條款 184
10.2.2條款解讀2 185
10.3輸出文檔 185
10.3.1標準條款 185
10.3.2條款解讀3 185
10.4要求 185
10.4.1標準條款 185
10.4.2條款解讀4 189
第11章 軟件需求 192
11.1需求概念 192
11.1.1標準條款 192
11.1.2條款理解與應用 193
11.2需求建模 195
11.2.1標準條款 195
11.2.2條款理解與應用 195
11.3 需求驗證 199
11.3.1標準條款 199
11.3.2條款理解與應用 200
第12章 軟件設計與實現(xiàn) 202
12.1 軟件架構(gòu)設計 202
12.1.1標準條款 202
12.1.2條款理解與應用 209
12.2 軟件組件設計、實現(xiàn)與測試 215
12.2.1標準條款 215
12.2.2條款理解與應用 218
12.3 軟件集成 224
12.3.1標準條款 224
12.3.2條款理解與應用 225
12.4 系統(tǒng)確認 227
12.4.1標準條款 228
12.4.2條款理解與應用 230
第13章 軟件發(fā)布、部署與維護 232
13.1 軟件發(fā)布 232
13.1.1標準條款 232
13.1.2條款理解與應用 233
13.2 軟件部署 235
13.2.1標準條款 235
13.2.2條款理解與應用 238
13.3 軟件維護 240
13.3.1標準條款 240
13.3.2條款理解與應用 245
附錄1 250
附錄 A 250
附錄 B 256
附錄 C 263
附錄 D 265
附錄2 參考文獻 305