书籍详情
基于ISO26262的汽车电子功能安全：方法与应用
作者：郭建，王高翃，赵涌鑫，蒲戈光 著
出版社：机械工业出版社
出版时间：2021-09-01
ISBN：9787111680673
定价：¥119.00
购买这本书可以去
内容简介
《基于ISO26262的汽车电子功能安全：方法与应用》从开发方法和应用指南两个部分对汽车电子的功能安全进行介绍，提供了从系统工程的角度整体地对汽车电子功能安全进行开发的方法，方便读者理解功能安全开发过程中所遇到的问题。本书还介绍了软件开发的形式化方法和一种高可靠性的软件开发功能安全验证方法。本书第二部分的应用指南，结合实现开发应用中的案例，对ISO26262标准的理解和应用进行了具体的分析。《基于ISO26262的汽车电子功能安全：方法与应用》共14 章，包括绪论、整体安全管理方法、概念阶段、系统级开发、硬件级开发、软件级开发、系统集成、形式化方法、故障容错系统开发、ASIL等级分解、汽车油量估测与显示系统（FLEDS）功能安全的开发与分析、ISO 26262 功能安全认证案例、形式化方法在发动机管理系统建模中的应用、基于ASIL等级的电子节气门控制系统（ETC）软件开发。 本书可作为汽车电子功能安全的学习参考资料。
作者简介
郭建，华东师范大学软件学院副教授，研究方向为嵌入式系统、汽车电子的形式化建模与验证、模型检验等，中国计算机学会会员，曾获教育部高等学校科学研究优秀成果奖（科学技术）技术发明一等奖、上海市科技进步二等奖、上海市教学成果一等奖、国家教学成果二等奖等。
目录
前言
第 I 部分 开发方法
第1章 绪论 // 3
1.1 功能安全概念 // 3
1.2 功能安全标准 // 5
1.3 汽车电子产业现状与前景 // 7
1.4 ISO 26262 发展 // 21
1.5 小结 // 24
第2章 整体安全管理方法 // 25
2.1 安全生命周期 // 25
2.2 功能安全认可方法 // 30
2.3 安全档案 // 32
2.4 小结 // 33
第3章 概念阶段 // 34
3.1 相关项定义 // 34
3.2 危害分析和风险评估 // 35
3.3 安全目标与 ASIL 等级概念 // 37
3.4 功能安全概念 // 39
3.5 小结 // 41
第4章 系统级开发 // 42
4.1 可靠性工程 // 43
4.2 架构开发 // 47
4.3 技术安全概念 // 51
4.4 系统级产品开发 // 52
4.5 组件级产品开发 // 53
4.6 ISO 26262 的验证 // 55
4.7 小结 // 57
第5章 硬件级开发 // 58
5.1 系统分析 // 58
5.2 故障分类示例 // 62
5.3 架构度量 // 64
5.4 相关失效分析 // 68
5.5 小结 // 70
第6章 软件级开发 // 71
6.1 软件安全需求规范 // 74
6.2 软件架构设计 // 75
6.3 软件单元设计与实现 // 77
6.4 软件单元验证 // 78
6.5 软件集成与验证 // 80
6.6 小结 // 81
第7章 系统集成 // 82
7.1 概述 // 82
7.2 系统集成中的安全分析和测试 // 83
7.3 系统集成中的验证要求 // 84
7.4 系统集成中的安全确认 // 85
7.5 其他技术要素集成 // 86
7.6 在用证明示例 // 89
7.7 小结 // 91
第8章 形式化方法 // 92
8.1 形式化语言 // 92
8.2 形式化规范 // 105
8.3 形式化验证 // 112
8.4 形式化验证的常见工具 // 116
8.5 小结 // 120
第Ⅱ部分 应用指南
第9章 故障容错系统开发 // 123
9.1 概念阶段 // 123
9.2 故障容错相关项的 ASIL 等级分解 // 126
9.3 转换要求时间 // 127
9.4 小结 // 130
第10章 ASIL 等级分解 // 131
10.1 ASIL 等级分解概述 // 131
10.2 ASIL 等级分解示例 // 132
10.3 小结 // 134
第11章
汽车油量估测与显示系统（FLEDS）功能安全的 开发与分析 // 135
11.1 FLEDS 的需求分析 // 135
11.2 ISO 26262 概念阶段的整体架构 // 137
11.3 FLEDS 中相关项的确定与定义 // 138
11.4 FLEDS 的安全目标 // 146
11.5 FLEDS 的功能安全概念 // 148
11.6 小结 // 151
第12章 ISO 26262 功能安全认证案例 // 152
12.1 SmartRocket Unit 相关标准要求 // 152
12.2 SmartRocket Unit 规范文档示例 // 155
12.3 小结 // 159
第13章 形式化方法在发动机管理系统建模中的应用 // 160
13.1 AUTOSAR OS 和汽车发动机管理系统简介 // 161
13.2 形式化建模的整体框架 // 163
13.3 AUTOSAR OS 建模 // 164
13.4 EMS 建模 // 171
13.5 EMS 的验证 // 175
13.6 实现 // 179
13.7 小结 // 180
第14章 基于 ASIL 等级的电子节气门控制系统（ETC）软件开发 // 182
14.1 整体设计指导 // 182
14.2 电子节气门控制系统整体架构 // 184
14.3 软件架构设计 // 185
14.4 软件单元设计与实现 // 187
14.5 软件单元验证 // 187
14.6 软件集成和验证 // 189
14.7 嵌入式软件测试 // 189
14.8 小结 // 190
参考文献 // 191
第 I 部分 开发方法
第1章 绪论 // 3
1.1 功能安全概念 // 3
1.2 功能安全标准 // 5
1.3 汽车电子产业现状与前景 // 7
1.4 ISO 26262 发展 // 21
1.5 小结 // 24
第2章 整体安全管理方法 // 25
2.1 安全生命周期 // 25
2.2 功能安全认可方法 // 30
2.3 安全档案 // 32
2.4 小结 // 33
第3章 概念阶段 // 34
3.1 相关项定义 // 34
3.2 危害分析和风险评估 // 35
3.3 安全目标与 ASIL 等级概念 // 37
3.4 功能安全概念 // 39
3.5 小结 // 41
第4章 系统级开发 // 42
4.1 可靠性工程 // 43
4.2 架构开发 // 47
4.3 技术安全概念 // 51
4.4 系统级产品开发 // 52
4.5 组件级产品开发 // 53
4.6 ISO 26262 的验证 // 55
4.7 小结 // 57
第5章 硬件级开发 // 58
5.1 系统分析 // 58
5.2 故障分类示例 // 62
5.3 架构度量 // 64
5.4 相关失效分析 // 68
5.5 小结 // 70
第6章 软件级开发 // 71
6.1 软件安全需求规范 // 74
6.2 软件架构设计 // 75
6.3 软件单元设计与实现 // 77
6.4 软件单元验证 // 78
6.5 软件集成与验证 // 80
6.6 小结 // 81
第7章 系统集成 // 82
7.1 概述 // 82
7.2 系统集成中的安全分析和测试 // 83
7.3 系统集成中的验证要求 // 84
7.4 系统集成中的安全确认 // 85
7.5 其他技术要素集成 // 86
7.6 在用证明示例 // 89
7.7 小结 // 91
第8章 形式化方法 // 92
8.1 形式化语言 // 92
8.2 形式化规范 // 105
8.3 形式化验证 // 112
8.4 形式化验证的常见工具 // 116
8.5 小结 // 120
第Ⅱ部分 应用指南
第9章 故障容错系统开发 // 123
9.1 概念阶段 // 123
9.2 故障容错相关项的 ASIL 等级分解 // 126
9.3 转换要求时间 // 127
9.4 小结 // 130
第10章 ASIL 等级分解 // 131
10.1 ASIL 等级分解概述 // 131
10.2 ASIL 等级分解示例 // 132
10.3 小结 // 134
第11章
汽车油量估测与显示系统（FLEDS）功能安全的 开发与分析 // 135
11.1 FLEDS 的需求分析 // 135
11.2 ISO 26262 概念阶段的整体架构 // 137
11.3 FLEDS 中相关项的确定与定义 // 138
11.4 FLEDS 的安全目标 // 146
11.5 FLEDS 的功能安全概念 // 148
11.6 小结 // 151
第12章 ISO 26262 功能安全认证案例 // 152
12.1 SmartRocket Unit 相关标准要求 // 152
12.2 SmartRocket Unit 规范文档示例 // 155
12.3 小结 // 159
第13章 形式化方法在发动机管理系统建模中的应用 // 160
13.1 AUTOSAR OS 和汽车发动机管理系统简介 // 161
13.2 形式化建模的整体框架 // 163
13.3 AUTOSAR OS 建模 // 164
13.4 EMS 建模 // 171
13.5 EMS 的验证 // 175
13.6 实现 // 179
13.7 小结 // 180
第14章 基于 ASIL 等级的电子节气门控制系统（ETC）软件开发 // 182
14.1 整体设计指导 // 182
14.2 电子节气门控制系统整体架构 // 184
14.3 软件架构设计 // 185
14.4 软件单元设计与实现 // 187
14.5 软件单元验证 // 187
14.6 软件集成和验证 // 189
14.7 嵌入式软件测试 // 189
14.8 小结 // 190
参考文献 // 191
猜您喜欢
