本书从开发方法和应用指南两个部分对汽车电子的功能安全进行介绍，提供了从系统工程的角度整体地对汽车电子功能安全进行开发的方法，方便读者理解功能安全开发过程中所遇到的问题。本书还介绍了软件开发的形式化方法和一种高可靠性的软件开发功能安全验证方法。本书第二部分的应用指南，结合实现开发应用中的案例，对ISO26262标准的理解和应用进行了具体的分析。
本书共14章，包括绪论、整体安全管理方法、概念阶段、系统级开发、硬件级开发、软件级开发、系统集成、形式化方法、故障容错系统开发、ASIL等级分解、汽车油量估测与显示系统（FLEDS）功能安全的开发与分析、ISO26262功能安全认证案例、形式化方法在发动机管理系统建模中的应用、基于ASIL等级的电子节气门控制系统（ETC）软件开发。
本书可作为汽车电子功能安全的学习参考资料。

前言
第Ⅰ部分 开发方法
第1章 绪论
1.1 功能安全概念
1.2 功能安全标准
1.3 汽车电子产业现状与前景
1.4 ISO 26262发展
1.5 小结
第2章 整体安全管理方法
2.1 安全生命周期
2.2 功能安全认可方法
2.3 安全档案
2.4 小结
第3章 概念阶段
3.1 相关项定义
3.2 危害分析和风险评估
3.3 安全目标与ASIL等级概念
3.4 功能安全概念
3.5 小结
第4章 系统级开发
4.1 可靠性工程
4.2 架构开发
4.3 技术安全概念
4.4 系统级产品开发
4.5 组件级产品开发
4.6 ISO 26262的验证
4.7 小结
第5章 硬件级开发
5.1 系统分析
5.2 故障分类示例
5.3 架构度量
5.4 相关失效分析
5.5 小结
第6章 软件级开发
6.1 软件安全需求规范
6.2 软件架构设计
6.3 软件单元设计与实现
6.4 软件单元验证
6.5 软件集成与验证
6.6 小结
第7章 系统集成
7.1 概述
7.2 系统集成中的安全分析和测试
7.3 系统集成中的验证要求
7.4 系统集成中的安全确认
7.5 其他技术要素集成
7.6 在用证明示例
7.7 小结
第8章 形式化方法
8.1 形式化语言
8.2 形式化规范
8.3 形式化验证
8.4 形式化验证的常见工具
8.5 小结
第Ⅱ部分 应用指南
第9章 故障容错系统开发
9.1 概念阶段
9.2 故障容错相关项的ASIL等级分解
9.3 转换要求时间
9.4 小结
第10章 ASIL等级分解
10.1 ASIL等级分解概述
10.2 ASIL等级分解示例
10.3 小结
第11章 汽车油量估测与显示系统（FLEDS）功能安全的开发与分析
11.1 FLEDS的需求分析
11.2 ISO 26262概念阶段的整体架构
11.3 FLEDS中相关项的确定与定义
11.4 FLEDS的安全目标
11.5 FLEDS的功能安全概念
11.6 小结
第12章 ISO 26262功能安全认证案例
12.1 SmartRocket Unit相关标准要求
12.2 SmartRocket Unit规范文档示例
12.3 小结
第13章 形式化方法在发动机管理系统建模中的应用
13.1 AUTOSAR OS和汽车发动机管理系统简介
13.2 形式化建模的整体框架
13.3 AUTOSAR OS建模
13.4 EMS建模
13.5 EMS的验证
13.6 实现
13.7 小结
第14章 基于ASIL等级的电子节气门控制系统（ETC）软件开发
14.1 整体设计指导
14.2 电子节气门控制系统整体架构
14.3 软件架构设计
14.4 软件单元设计与实现
14.5 软件单元验证
14.6 软件集成和验证
14.7 嵌入式软件测试
14.8 小结
参考文献