基于ISO26262的汽车电子功能安全：方法与应用

软件开发的形式化方法、高可靠性的软件开发功能安全验证方法结合实现开发案例对ISO26262标准应用进行了具体的分析

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

前言第 I 部分  开发方法第1章 绪论 // 31.1  功能安全概念 // 31.2  功能安全标准 // 51.3  汽车电子产业现状与前景 // 71.4  ISO 26262 发展 // 211.5  小结 // 24第2章 整体安全管理方法 // 252.1  安全生命周期 // 252.2  功能安全认可方法 // 302.3  安全档案 // 322.4  小结 // 33第3章 概念阶段 // 343.1  相关项定义 // 343.2  危害分析和风险评估 // 353.3  安全目标与 ASIL 等级概念 // 373.4  功能安全概念 // 393.5  小结 // 41第4章 系统级开发 // 424.1  可靠性工程 // 434.2  架构开发 // 474.3  技术安全概念 // 514.4  系统级产品开发 // 524.5  组件级产品开发 // 534.6  ISO 26262 的验证 // 554.7  小结 // 57第5章 硬件级开发 // 585.1  系统分析 // 585.2  故障分类示例 // 625.3  架构度量 // 645.4  相关失效分析 // 685.5  小结 // 70第6章 软件级开发 // 716.1  软件安全需求规范 // 746.2  软件架构设计 // 756.3  软件单元设计与实现 // 776.4  软件单元验证 // 786.5  软件集成与验证 // 806.6  小结 // 81第7章 系统集成 // 827.1  概述 // 827.2  系统集成中的安全分析和测试 // 837.3  系统集成中的验证要求 // 847.4  系统集成中的安全确认 // 857.5  其他技术要素集成 // 867.6  在用证明示例 // 897.7  小结 // 91第8章 形式化方法 // 928.1  形式化语言 // 928.2  形式化规范 // 1058.3  形式化验证 // 1128.4  形式化验证的常见工具 // 1168.5  小结 // 120第Ⅱ部分  应用指南第9章 故障容错系统开发 // 1239.1  概念阶段 // 1239.2  故障容错相关项的 ASIL 等级分解 // 1269.3  转换要求时间 // 1279.4  小结 // 130第10章 ASIL 等级分解 // 13110.1  ASIL 等级分解概述 // 13110.2  ASIL 等级分解示例 // 13210.3  小结 // 134第11章汽车油量估测与显示系统（FLEDS）功能安全的 开发与分析 // 13511.1  FLEDS 的需求分析 // 13511.2  ISO 26262 概念阶段的整体架构 // 13711.3  FLEDS 中相关项的确定与定义 // 13811.4  FLEDS 的安全目标 // 14611.5  FLEDS 的功能安全概念 // 14811.6  小结 // 151第12章 ISO 26262 功能安全认证案例 // 15212.1  SmartRocket Unit 相关标准要求 // 15212.2  SmartRocket Unit 规范文档示例 // 15512.3  小结 // 159第13章 形式化方法在发动机管理系统建模中的应用 // 16013.1  AUTOSAR OS 和汽车发动机管理系统简介 // 16113.2  形式化建模的整体框架 // 16313.3  AUTOSAR OS 建模 // 16413.4  EMS 建模 // 17113.5  EMS 的验证 // 17513.6  实现 // 17913.7  小结 // 180第14章 基于 ASIL 等级的电子节气门控制系统（ETC）软件开发 // 18214.1  整体设计指导 // 18214.2  电子节气门控制系统整体架构 // 18414.3  软件架构设计 // 18514.4  软件单元设计与实现 // 18714.5  软件单元验证 // 18714.6  软件集成和验证 // 18914.7  嵌入式软件测试 // 18914.8  小结 // 190参考文献 // 191