扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
湖南省志(1978-2002)?铁路志
-
>
公路车宝典(ZINN的公路车维修与保养秘籍)
-
>
晶体管电路设计(下)
-
>
基于个性化设计策略的智能交通系统关键技术
-
>
德国克虏伯与晚清火:贸易与仿制模式下的技术转移
-
>
花样百出:贵州少数民族图案填色
-
>
识木:全球220种木材图鉴
买过本商品的人还买了
基于ISO26262的汽车电子功能安全:方法与应用 版权信息
- ISBN：9787111680673
- 条形码：9787111680673 ; 978-7-111-68067-3
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
基于ISO26262的汽车电子功能安全:方法与应用 本书特色
适读人群 ：汽车研发人员【适读人群】 汽车研发人员 【图书特色】 1. 软件开发的形式化方法、高可靠性的软件开发功能安全验证方法 2. 结合实现开发案例对ISO26262标准应用进行了具体的分析 3. 作者在对汽车电子功能安全进行研究的过程中，基于对ISO 26262 标准的理解，结合系统工程的方法论和开发应用的案例，对标准进行了解读，以求读者在对标准的应用过程中能够获得更明确的解释和指导
基于ISO26262的汽车电子功能安全:方法与应用 内容简介
《基于ISO26262的汽车电子功能安全：方法与应用》从开发方法和应用指南两个部分对汽车电子的功能安全进行介绍，提供了从系统工程的角度整体地对汽车电子功能安全进行开发的方法，方便读者理解功能安全开发过程中所遇到的问题。本书还介绍了软件开发的形式化方法和一种高可靠性的软件开发功能安全验证方法。本书第二部分的应用指南，结合实现开发应用中的案例，对ISO26262标准的理解和应用进行了具体的分析。 《基于ISO26262的汽车电子功能安全：方法与应用》共14 章，包括绪论、整体安全管理方法、概念阶段、系统级开发、硬件级开发、软件级开发、系统集成、形式化方法、故障容错系统开发、ASIL等级分解、汽车油量估测与显示系统（FLEDS）功能安全的开发与分析、ISO 26262 功能安全认证案例、形式化方法在发动机管理系统建模中的应用、基于ASIL等级的电子节气门控制系统（ETC）软件开发。 本书可作为汽车电子功能安全的学习参考资料。
基于ISO26262的汽车电子功能安全:方法与应用 目录
前言
第 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
展开全部
基于ISO26262的汽车电子功能安全:方法与应用 作者简介
郭建，华东师范大学软件学院副教授，研究方向为嵌入式系统、汽车电子的形式化建模与验证、模型检验等，中国计算机学会会员，曾获教育部高等学校科学研究优秀成果奖（科学技术）技术发明一等奖、上海市科技进步二等奖、上海市教学成果一等奖、国家教学成果二等奖等。
书友推荐
- >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
史学评论
史学评论
¥13.4¥42.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥18.7¥39.8 - >
自卑与超越
自卑与超越
¥13.5¥39.8 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥9.3¥19.0 - >
月亮与六便士
月亮与六便士
¥15.1¥42.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0
本类畅销
-
现代摩托车维修手册
¥66¥89 -
车林外史-世界汽车品牌通俗演义
¥39.2¥78 -
二手车鉴定与评估
¥27.2¥35 -
陈总编爱车热线书系汽车不神秘:汽车构造透视图典(全彩典雅版)
¥52¥69.9 -
基于深度学习的视频车道线检测技术
¥78.1¥128 -
4.23文创礼盒A款--“作家言我精神状态”
¥42.3¥206
