基于ISO26262的汽車(chē)電子功能安全：方法與應(yīng)用

定　價(jià)：￥119.00

作　者：	郭建，王高翃，趙涌鑫，蒲戈光著
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：	汽車(chē)技術(shù)精品著作系列
標(biāo)　簽：	暫缺

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787111680673	出版時(shí)間：	2021-09-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	208	字?jǐn)?shù)：

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

　　《基于ISO26262的汽車(chē)電子功能安全：方法與應(yīng)用》從開(kāi)發(fā)方法和應(yīng)用指南兩個(gè)部分對(duì)汽車(chē)電子的功能安全進(jìn)行介紹，提供了從系統(tǒng)工程的角度整體地對(duì)汽車(chē)電子功能安全進(jìn)行開(kāi)發(fā)的方法，方便讀者理解功能安全開(kāi)發(fā)過(guò)程中所遇到的問(wèn)題。本書(shū)還介紹了軟件開(kāi)發(fā)的形式化方法和一種高可靠性的軟件開(kāi)發(fā)功能安全驗(yàn)證方法。本書(shū)第二部分的應(yīng)用指南，結(jié)合實(shí)現(xiàn)開(kāi)發(fā)應(yīng)用中的案例，對(duì)ISO26262標(biāo)準(zhǔn)的理解和應(yīng)用進(jìn)行了具體的分析。《基于ISO26262的汽車(chē)電子功能安全：方法與應(yīng)用》共14 章，包括緒論、整體安全管理方法、概念階段、系統(tǒng)級(jí)開(kāi)發(fā)、硬件級(jí)開(kāi)發(fā)、軟件級(jí)開(kāi)發(fā)、系統(tǒng)集成、形式化方法、故障容錯(cuò)系統(tǒng)開(kāi)發(fā)、ASIL等級(jí)分解、汽車(chē)油量估測(cè)與顯示系統(tǒng)（FLEDS）功能安全的開(kāi)發(fā)與分析、ISO 26262 功能安全認(rèn)證案例、形式化方法在發(fā)動(dòng)機(jī)管理系統(tǒng)建模中的應(yīng)用、基于ASIL等級(jí)的電子節(jié)氣門(mén)控制系統(tǒng)（ETC）軟件開(kāi)發(fā)。本書(shū)可作為汽車(chē)電子功能安全的學(xué)習(xí)參考資料。

作者簡(jiǎn)介

　　郭建，華東師范大學(xué)軟件學(xué)院副教授，研究方向?yàn)榍度胧较到y(tǒng)、汽車(chē)電子的形式化建模與驗(yàn)證、模型檢驗(yàn)等，中國(guó)計(jì)算機(jī)學(xué)會(huì)會(huì)員，曾獲教育部高等學(xué)?？茖W(xué)研究?jī)?yōu)秀成果獎(jiǎng)（科學(xué)技術(shù)）技術(shù)發(fā)明一等獎(jiǎng)、上海市科技進(jìn)步二等獎(jiǎng)、上海市教學(xué)成果一等獎(jiǎng)、國(guó)家教學(xué)成果二等獎(jiǎng)等。

圖書(shū)目錄

前言

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

第1章緒論 // 3
1.1　功能安全概念 // 3
1.2　功能安全標(biāo)準(zhǔn) // 5
1.3　汽車(chē)電子產(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í)開(kāi)發(fā) // 42
4.1　可靠性工程 // 43
4.2　架構(gòu)開(kāi)發(fā) // 47
4.3　技術(shù)安全概念 // 51
4.4　系統(tǒng)級(jí)產(chǎn)品開(kāi)發(fā) // 52
4.5　組件級(jí)產(chǎn)品開(kāi)發(fā) // 53
4.6　ISO 26262 的驗(yàn)證 // 55
4.7　小結(jié) // 57

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

第6章軟件級(jí)開(kāi)發(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)集成中的安全分析和測(cè)試 // 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　形式化語(yǔ)言 // 92
8.2　形式化規(guī)范 // 105
8.3　形式化驗(yàn)證 // 112
8.4　形式化驗(yàn)證的常見(jiàn)工具 // 116
8.5　小結(jié) // 120

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

第9章故障容錯(cuò)系統(tǒng)開(kāi)發(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章

汽車(chē)油量估測(cè)與顯示系統(tǒng)（FLEDS）功能安全的開(kāi)發(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 和汽車(chē)發(fā)動(dòng)機(jī)管理系統(tǒng)簡(jiǎn)介 // 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é)氣門(mén)控制系統(tǒng)（ETC）軟件開(kāi)發(fā) // 182
14.1　整體設(shè)計(jì)指導(dǎo) // 182
14.2　電子節(jié)氣門(mén)控制系統(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　嵌入式軟件測(cè)試 // 189
14.8　小結(jié) // 190
參考文獻(xiàn) // 191