前言

第 I 部分　開發(fā)方法

第1章 緒論 // 3
1.1　功能安全概念 // 3
1.2　功能安全標(biāo)準(zhǔn) // 5
1.3　汽車電子產(chǎn)業(yè)現(xiàn)狀與前景 // 7
1.4　ISO 26262 發(fā)展 // 21
1.5　小結(jié) // 24

第2章 整體安全管理方法 // 25
2.1　安全生命周期 // 25
2.2　功能安全認(rèn)可方法 // 30
2.3　安全檔案 // 32
2.4　小結(jié) // 33

第3章 概念階段 // 34
3.1　相關(guān)項(xiàng)定義 // 34
3.2　危害分析和風(fēng)險(xiǎn)評(píng)估 // 35
3.3　安全目標(biāo)與 ASIL 等級(jí)概念 // 37
3.4　功能安全概念 // 39
3.5　小結(jié) // 41

第4章 系統(tǒng)級(jí)開發(fā) // 42
4.1　可靠性工程 // 43
4.2　架構(gòu)開發(fā) // 47
4.3　技術(shù)安全概念 // 51
4.4　系統(tǒng)級(jí)產(chǎn)品開發(fā) // 52
4.5　組件級(jí)產(chǎn)品開發(fā) // 53
4.6　ISO 26262 的驗(yàn)證 // 55
4.7　小結(jié) // 57

第5章 硬件級(jí)開發(fā) // 58
5.1　系統(tǒng)分析 // 58
5.2　故障分類示例 // 62
5.3　架構(gòu)度量 // 64
5.4　相關(guān)失效分析 // 68
5.5　小結(jié) // 70

第6章 軟件級(jí)開發(fā) // 71
6.1　軟件安全需求規(guī)范 // 74
6.2　軟件架構(gòu)設(shè)計(jì) // 75
6.3　軟件單元設(shè)計(jì)與實(shí)現(xiàn) // 77
6.4　軟件單元驗(yàn)證 // 78
6.5　軟件集成與驗(yàn)證 // 80
6.6　小結(jié) // 81

第7章 系統(tǒng)集成 // 82
7.1　概述 // 82
7.2　系統(tǒng)集成中的安全分析和測試 // 83
7.3　系統(tǒng)集成中的驗(yàn)證要求 // 84
7.4　系統(tǒng)集成中的安全確認(rèn) // 85
7.5　其他技術(shù)要素集成 // 86
7.6　在用證明示例 // 89
7.7　小結(jié) // 91

第8章 形式化方法 // 92
8.1　形式化語言 // 92
8.2　形式化規(guī)范 // 105
8.3　形式化驗(yàn)證 // 112
8.4　形式化驗(yàn)證的常見工具 // 116
8.5　小結(jié) // 120

第Ⅱ部分　應(yīng)用指南

第9章 故障容錯(cuò)系統(tǒng)開發(fā) // 123
9.1　概念階段 // 123
9.2　故障容錯(cuò)相關(guān)項(xiàng)的 ASIL 等級(jí)分解 // 126
9.3　轉(zhuǎn)換要求時(shí)間 // 127
9.4　小結(jié) // 130

第10章 ASIL 等級(jí)分解 // 131
10.1　ASIL 等級(jí)分解概述 // 131
10.2　ASIL 等級(jí)分解示例 // 132
10.3　小結(jié) // 134

第11章

汽車油量估測與顯示系統(tǒng)（FLEDS）功能安全的 開發(fā)與分析 // 135
11.1　FLEDS 的需求分析 // 135
11.2　ISO 26262 概念階段的整體架構(gòu) // 137
11.3　FLEDS 中相關(guān)項(xiàng)的確定與定義 // 138
11.4　FLEDS 的安全目標(biāo) // 146
11.5　FLEDS 的功能安全概念 // 148
11.6　小結(jié) // 151

第12章 ISO 26262 功能安全認(rèn)證案例 // 152
12.1　SmartRocket Unit 相關(guān)標(biāo)準(zhǔn)要求 // 152
12.2　SmartRocket Unit 規(guī)范文檔示例 // 155
12.3　小結(jié) // 159

第13章 形式化方法在發(fā)動(dòng)機(jī)管理系統(tǒng)建模中的應(yīng)用 // 160
13.1　AUTOSAR OS 和汽車發(fā)動(dòng)機(jī)管理系統(tǒng)簡介 // 161
13.2　形式化建模的整體框架 // 163
13.3　AUTOSAR OS 建模 // 164
13.4　EMS 建模 // 171
13.5　EMS 的驗(yàn)證 // 175
13.6　實(shí)現(xiàn) // 179
13.7　小結(jié) // 180

第14章 基于 ASIL 等級(jí)的電子節(jié)氣門控制系統(tǒng)（ETC）軟件開發(fā) // 182
14.1　整體設(shè)計(jì)指導(dǎo) // 182
14.2　電子節(jié)氣門控制系統(tǒng)整體架構(gòu) // 184
14.3　軟件架構(gòu)設(shè)計(jì) // 185
14.4　軟件單元設(shè)計(jì)與實(shí)現(xiàn) // 187
14.5　軟件單元驗(yàn)證 // 187
14.6　軟件集成和驗(yàn)證 // 189
14.7　嵌入式軟件測試 // 189
14.8　小結(jié) // 190
參考文獻(xiàn) // 191