新書推薦：
《
艺术家之路 塑造插画风格
》
售價：HK$
166.8
《
古乐钩沉（中国音乐学院60周年校庆中青年学者文集）
》
售價：HK$
132.2
《
我和抑郁症的3000天
》
售價：HK$
66.1
《
与骸骨交谈：我希望每一个真相都被发现
》
售價：HK$
76.2
《
人体使用手册3：自愈力的逻辑（全面解读身体面对疾病时的反应逻辑，学习更多有效的系列家庭按摩）
》
售價：HK$
61.6
《
素描简史：从文艺复兴到现代艺术
》
售價：HK$
436.8
《
智慧宫丛书028·神工智能 诸神与古代世界的神奇造物
》
售價：HK$
87.4
《
街头健身训练指南
》
售價：HK$
266.6
|
| 編輯推薦： |
【适读人群】
汽车研发人员
【图书特色】
1. 软件开发的形式化方法、高可靠性的软件开发功能安全验证方法
2. 结合实现开发案例对ISO26262标准应用进行了具体的分析
3. 作者在对汽车电子功能安全进行研究的过程中，基于对ISO 26262 标准的理解，结合系统工程的方法论和开发应用的案例，对标准进行了解读，以求读者在对标准的应用过程中能够获得更明确的解释和指导
汽车功能安全图书
《基于ISO26262的汽车电子功能安全：方法与应用》
书号：ISBN 978-7-111-68067-3
定价：119.00元
《基于ISO26262的功能安全》
书号：ISBN 978-7-111-67586-0
定价：139.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
|
| 內容試閱：
|
功能安全国际标准提出了一种全新的从研发过程管理、安全保障技术等多个方面来保障系统安全的先进原理和流程方法，并得到了国际上知名检测认证机构和企业的广泛支持。目前这种原理和方法，已形成了适用于航天、核电、轨道交通、汽车电子、医疗设备、智能家电、电驱设备、流程工业等安全攸关领域的产品安全技术标准，涉及国计民生各个重点行业。
在汽车电子领域，随着传感技术、计算机技术、网络技术的发展，汽车电子日益智能化、网络化、集成化。汽车的电子系统功能越来越强大，汽车上有几十到上百个电子控制单元（ECU），譬如汽车安全驾驶辅助系统、防抱死制动系统（ABS）、制动辅助系统（BAS）、驱动防滑装置（ASR）、电子制动辅助系统（EBA）、电子稳定程序（ESP）、车辆偏离警告系统、碰撞规避系统、胎压监测系统（TPMS）、自动驾驶系统等，这些与安全系统相关的电子系统一旦出现功能性故障，将会极大地影响汽车的安全问题，并导致汽车召回。
ISO 26262 标准的诞生，为解决软件引发的功能安全问题提供了一个过程框架和程序模型，具体包括：汽车生命周期和生命周期中必要的活动、决定风险等级的具体风险评估方法（汽车安全综合等级，ASIL），以及使用ASIL方法来确定获得可接受的残余风险的必要安全要求和确保获得足够和可接受的安全等级的有效性和确定性措施。
随着系统复杂性的提高，以及软件和机电设备的应用，来自系统失效和随机硬件失效的风险日益增加。制定ISO 26262 标准的目的是使得研发设计人员对安全相关功能有一个更好的理解，并尽可能明确地对它们进行解释，同时为避免这些风险提供了可行性的要求和流程。 ISO26262 为汽车安全提供了一个生命周期（管理、开发、生产、经营、服务、报废）理念，并在这些生命周期阶段中提
供必要的支持。该标准涵盖功能性安全方面的整体开发过程（包括需求规划、设计、实施、集成、验证、确认和配置）。
《基于ISO26262的汽车电子功能安全：方法与应用》作者在对汽车电子功能安全进行研究的过程中，基于对ISO 26262 标准的理解，结合系统工程的方法论和开发应用的案例，对标准进行了解读，以求读者在对标准的应用过程中能够获得更明确的解释和指导。
《基于ISO26262的汽车电子功能安全：方法与应用》从开发方法和应用指南两个部分对汽车电子的功能安全进行介绍，提供了从系统工程的角度整体地对汽车电子功能安全进行开发的方法，方便读者理解功能安全开发过程中所遇到的问题。本书还介绍了软件开发的形式化方法，介绍了一种高可靠性的软件开发功能安全验证方法。本书第二部分的应用指南，结合实现开发应用中的案例，对标准的理解和应用进行了具体的分析。
《基于ISO26262的汽车电子功能安全：方法与应用》共14章，包括绪论、整体安全管理方法、概念阶段、系统级开发、硬件级开发、软件级开发、系统集成、形式化方法、故障容错系统开发、 ASIL等级分解、汽车油量估测与显示系统（FLEDS）功能安全的开发与分析、 ISO26262 功能安全认证案例、形式化方法在发动机管理系统建模中的应用、基于ASIL等级的电子节气门控制系统（ETC）软件开发。
《基于ISO26262的汽车电子功能安全：方法与应用》可作为汽车电子功能安全的学习参考资料。由于编者水平有限，书中不妥之处在所难免，敬请广大读者批评指正。
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
