本书全面介绍了现有和未来的汽车电子系统, 并突出显示了汽车嵌入 式系统在需求、 技术和商业模式方面的鲜明特征。 本书由汽车电子领域著名的专家学者撰写, 是当今国际上汽车嵌入式 系统领域的最新学术著作, 覆盖了汽车嵌入式系统领域的四大关键内容: 1汽车嵌入式系统架构, 包括汽车功能域及其要求、 AUTOSAR ( 汽车开 放式系统架构) 标准的应用与智能车辆技术;2嵌入式系统通信, 包括 嵌入式汽车协议综述、 FlexRay 协议与可靠的汽车 CAN 网络;3嵌入式系 统软件及其研发过程, 包括汽车电子产品生产线、 汽车电子中软件的复 用、 汽车嵌入式系统架构描述语言 (ADL) 和基于模型的汽车嵌入式系 统的开发;4 验证测试与时序分析, 包括汽车控制软件测试、 基于 FlexRay 应用模块的测试和监控、 基于 CAN 网络的汽车通信系统的时序分 析、 主要性能提升方式 - 使用偏移方式调度 CAN 信息以及汽车域的形式 化方法 - TTA ( 定时触发架构) 概况等。 本书在车载架构、 多方面开发过程 ( 子系统集成、 产品线管理等)、 软件工程方法、 嵌入式通信、 安全性和可靠性评价以及确认、 验证和测试 等领域给读者呈现了先进的方法论和技术解决方案。 本书适合于从事车辆 与交通工程、 机械电子工程、 控制工程设计与研发人员参考阅读, 也可作 为大专院校车辆与交通工程、 机械电子工程、 控制工程专业硕士研究生和 博士研究生课程教材或参考书。

upload/shukui_net_cdl/109_2/37444144.pdf

lgli/汽车嵌入式系统手册.pdf - 汽车嵌入式系统手册.pdf (机械工业出版社).pdf

zlib/Engineering/Automotive/Nicolas Navet/Françoise Simonot - Lion/译者: 李惠彬/汽车嵌入式系统手册_15469729.pdf

Automotive Embedded Systems Handbook (Industrial Information Technology)

汽车嵌入式系统手冊

Nicolas Navet; Richard Zurawski; Juan R. Pimentel; Michael Gonschorek; Bernard Schatz; Stefan Voget; Joaquim Ferreira; Julian Proenza; Guillermo Rodriguez-Navas; Holger Pfeifer; Luis Almeida; Francoise Simonot-Lion

(法)尼古拉斯·纳威特(Nicolas Navet),(法)佛朗西斯·西蒙-莱昂(Francoise Simonot-Lion)著

Nicolas Navet; Françoise Simonot-Lion

Francoise Simonot-Lion; Nicolas Navet

纳威特 (Navet, Niolas)

作者

CRC ; Taylor & Francis [distributor

机械工业出版社 Ji xie gong ye chu ban she

Auerbach Publishers, Incorporated

Stationery Office Books

The Stationery Office

China Machine Press

Chapman & Hall/CRC

CRC Press LLC

Industrial information technology series, Boca Raton, Fla., London, 2008

Industrial information technology series, Boca Raton, ©2009

Qi che xian jin ji shu yi cong, Di 1 ban, 北京 Beijing, 2016

United Kingdom and Ireland, United Kingdom

CRC Press (Unlimited), Boca Raton, 2009

United States, United States of America

China, People's Republic, China

August 26, 2008

1, PS, 2008

producers:
生产者

Bookmarks: p1 (p3): 第一部分 汽车嵌入式系统架构
p1-1 (p3): 第1章 汽车功能域及其要求
p1-1-1 (p3): 1.1 概述
p1-1-2 (p6): 1.2 功能域
p1-1-2-1 (p7): 1.2.1 动力总成域
p1-1-2-2 (p8): 1.2.2 底盘域
p1-1-2-3 (p9): 1.2.3 车身域
p1-1-2-4 (p10): 1.2.4 多媒体、远程信息处理与人机界面
p1-1-2-5 (p11): 1.2.5 主动/被动安全
p1-1-2-6 (p12): 1.2.6 诊断
p1-1-3 (p12): 1.3 标准化的部件、模型及流程
p1-1-3-1 (p13): 1.3.1 车载网络和协议
p1-1-3-2 (p13): 1.3.2 操作系统
p1-1-3-3 (p14): 1.3.3 中间件
p1-1-3-4 (p15): 1.3.4 汽车应用中的架构描述语言
p1-1-4 (p17): 1.4 车载嵌入式系统的关键安全认证问题
p1-1-5 (p18): 1.5 结论
p1-1-6 (p19): 参考文献
p1-2 (p23): 第2章 AUTOSAR（汽车开放式系统架构）标准的应用
p1-2-1 (p23): 2.1 动机
p1-2-1-1 (p23): 2.1.1 以前软件结构的缺点
p1-2-1-2 (p24): 2.1.2 设置AUTOSAR
p1-2-1-3 (p24): 2.1.3 AUTOSAR的主要目标
p1-2-1-4 (p25): 2.1.4 AUTOSAR中的工作方法
p1-2-2 (p26): 2.2 AUTOSAR的支柱：AUTOSAR架构
p1-2-2-1 (p26): 2.2.1 AUTOSAR概念
p1-2-2-2 (p27): 2.2.2 分层的软件架构
p1-2-3 (p28): 2.3 AUTOSAR标准化的主要领域：BSW和RTE
p1-2-3-1 (p28): 2.3.1 BSW
p1-2-3-2 (p29): 2.3.2 BSW的一致性的类
p1-2-3-3 (p30): 2.3.3 RTE
p1-2-4 (p32): 2.4 AUTOSAR标准化的主要领域：方法和模板
p1-2-4-1 (p32): 2.4.1 方法的主要目标
p1-2-4-2 (p32): 2.4.2 方法描述
p1-2-4-3 (p33): 2.4.3 AUTOSAR模型、模板及交换格式
p1-2-4-4 (p33): 2.4.4 系统配置
p1-2-4-5 (p34): 2.4.5 ECU配置
p1-2-4-6 (p34): 2.4.6 实施现有开发流程与调节工具
p1-2-5 (p35): 2.5 实践中的AUTOSAR：一致性测试
p1-2-6 (p37): 2.6 实践中的AUTOSAR：移植到AUTOSAR ECU之上
p1-2-7 (p39): 2.7 实践中的AUTOSAR：OEM-供应商协作的应用
p1-2-8 (p40): 2.8 实践中的AUTOSAR：AUTOSAR与ECU兼容性的演示
p1-2-8-1 (p41): 2.8.1 演示仪描述
p1-2-8-2 (p41): 2.8.2 演示仪展示的概念
p1-2-9 (p43): 2.9 商业考虑
p1-2-10 (p44): 2.10 展望
p1-2-11 (p44): 参考文献
p1-3 (p46): 第3章 智能车辆技术
p1-3-1 (p46): 3.1 概述：道路运输及其发展
p1-3-1-1 (p46): 3.1.1 如此美妙的产品
p1-3-1-2 (p46): 3.1.2 安全问题
p1-3-1-3 (p46): 3.1.3 交通拥堵问题
p1-3-1-4 (p47): 3.1.4 能源和排放
p1-3-1-5 (p47): 3.1.5 小结及本章介绍的内容
p1-3-2 (p48): 3.2 新技术
p1-3-2-1 (p48): 3.2.1 传感器技术
p1-3-2-2 (p53): 3.2.2 传感器融合
p1-3-2-3 (p54): 3.2.3 无线网络技术
p1-3-2-4 (p54): 3.2.4 智能控制应用
p1-3-2-5 (p56): 3.2.5 最新的驾驶辅助系统
p1-3-3 (p57): 3.3 可靠性问题
p1-3-3-1 (p57): 3.3.1 介绍
p1-3-3-2 (p57): 3.3.2 故障-安全的汽车运输系统
p1-3-3-3 (p59): 3.3.3 智能汽车诊断
p1-3-4 (p60): 3.4 完全自动的车：梦想还是现实？
p1-3-4-1 (p60): 3.4.1 自动化道路车辆
p1-3-4-2 (p62): 3.4.2 自动化道路网络
p1-3-4-3 (p63): 3.4.3 自动化道路管理
p1-3-4-4 (p63): 3.4.4 路径部署
p1-3-5 (p64): 3.5 小结
p1-3-6 (p64): 参考文献
p2 (p69): 第二部分 嵌入式系统通信
p2-1 (p69): 第4章 嵌入式汽车协议综述
p2-1-1 (p69): 4.1 汽车通信系统：特点和约束条件
p2-1-1-1 (p69): 4.1.1 从点到点通信到多路通信
p2-1-1-2 (p70): 4.1.2 汽车的域及其演变
p2-1-1-3 (p71): 4.1.3 对于不同需求的不同网络
p2-1-1-4 (p72): 4.1.4 事件触发与时间触发
p2-1-2 (p73): 4.2 车载嵌入式网络
p2-1-2-1 (p73): 4.2.1 优先总线
p2-1-2-2 (p75): 4.2.2 TT网络
p2-1-2-3 (p78): 4.2.3 低成本汽车网络
p2-1-2-4 (p81): 4.2.4 多媒体网络
p2-1-3 (p82): 4.3 中间件层
p2-1-3-1 (p82): 4.3.1 中间件的原理
p2-1-3-2 (p83): 4.3.2 优于AUTOSAR的汽车中间件
p2-1-3-3 (p84): 4.3.3 AUTOSAR
p2-1-4 (p91): 4.4 汽车通信系统的开放性问题
p2-1-4-1 (p91): 4.4.1 优化的网络架构
p2-1-4-2 (p92): 4.4.2 系统工程
p2-1-5 (p93): 参考文献
p2-2 (p98): 第5章 F1exRay协议
p2-2-1 (p98): 5.1 概述
p2-2-1-1 (p98): 5.1.1 事件驱动通信与时间驱动通信
p2-2-1-2 (p99): 5.1.2 F1exRay的目标
p2-2-1-3 (p100): 5.1.3 F1exRay的历史
p2-2-2 (p100): 5.2 F1exRay通信
p2-2-2-1 (p100): 5.2.1 帧格式
p2-2-2-2 (p101): 5.2.2 通信周期
p2-2-2-3 (p102): 5.2.3 静态段
p2-2-2-4 (p103): 5.2.4 动态段
p2-2-3 (p105): 5.3 F1exRay协议
p2-2-3-1 (p105): 5.3.1 协议架构
p2-2-3-2 (p106): 5.3.2 Wakeup（唤醒）和Starup（启动）协议
p2-2-3-3 (p107): 5.3.3 唤醒
p2-2-3-4 (p109): 5.3.4 时钟同步
p2-2-3-5 (p112): 5.3.5 容错机制
p2-2-4 (p113): 5.4 F1exRay应用
p2-2-4-1 (p113): 5.4.1 F1exRay实施
p2-2-4-2 (p114): 5.4.2 F1exRay工具支持
p2-2-5 (p115): 5.5 总结
p2-2-5-1 (p115): 5.5.1 研发的影响因素
p2-2-5-2 (p116): 5.5.2 F1exRay验证
p2-2-6 (p117): 参考文献
p2-3 (p118): 第6章 可靠的汽车CAN网络
p2-3-1 (p118): 6.1 概论
p2-3-1-1 (p118): 6.1.1 汽车网络的主要要求
p2-3-1-2 (p121): 6.1.2 网络技术
p2-3-1-3 (p122): 6.1.3 CAN的特点和局限性
p2-3-2 (p124): 6.2 数据一致性问题
p2-3-2-1 (p125): 6.2.1 CAN网络中瞬时信道故障的管理
p2-3-2-2 (p126): 6.2.2 影响数据一致性的故障
p2-3-2-3 (p127): 6.2.3 数据不一致的场景概率
p2-3-2-4 (p128): 6.2.4 在CAN网络上真正实现数据一致性的解决方案
p2-3-3 (p130): 6.3 CANcentrate和 ReCANcentrate：CAN网络的星形拓扑结构
p2-3-3-1 (p132): 6.3.1 基本原理
p2-3-3-2 (p133): 6.3.2 CANcentrate和ReCANcentrate基础
p2-3-3-3 (p136): 6.3.3 其他考虑
p2-3-4 (p137): 6.4 CANELy
p2-3-4-1 (p138): 6.4.1 时钟同步
p2-3-4-2 (p138): 6.4.2 数据一致性
p2-3-4-3 (p138): 6.4.3 错误控制
p2-3-4-4 (p138): 6.4.4 容错支撑
p2-3-4-5 (p139): 6.4.5 CANELy的局限性
p2-3-5 (p139): 6.5 FTT-CAN：在CAN总线上弹性时间触发通信
p2-3-5-1 (p141): 6.5.1 FTT系统架构
p2-3-5-2 (p141): 6.5.2 双相基本周期
p2-3-5-3 (p142): 6.5.3 SRDB
p2-3-5-4 (p143): 6.5.4 EC内的主要时间参数
p2-3-5-5 (p144): 6.5.5 容错特征
p2-3-5-6 (p145): 6.5.6 访问通信服务
p2-3-6 (p146): 6.6 FlexCAN：一种确定的、弹性的和可靠的车载网络架构
p2-3-6-1 (p146): 6.6.1 控制系统事务
p2-3-6-2 (p147): 6.6.2 FlexCAN架构
p2-3-6-3 (p150): 6.6.3 FlexCAN如何解决CAN的局限性
p2-3-6-4 (p152): 6.6.4 FlexCAN应用及小结
p2-3-7 (p152): 6.7 解决CAN网络可靠性的其他方法
p2-3-7-1 (p153): 6.7.1 TTCAN
p2-3-7-2 (p154): 6.7.2 使用CAN网络的容错时间触发通信
p2-3-7-3 (p154): 6.7.3 TCAN
p2-3-7-4 (p155): 6.7.4 ServerCAN
p2-3-7-5 (p156): 6.7.5 CAN网络上容错时钟同步
p2-3-8 (p157): 6.8 结论
p2-3-9 (p158): 参考文献
p3 (p167): 第三部分 嵌入式软件和研发流程
p3-1 (p167): 第7章 汽车电子产品生产线
p3-1-1 (p167): 7.1 简介
p3-1-2 (p168): 7.2 汽车产品线特性
p3-1-2-1 (p168): 7.2.1 软件产品线基本概念
p3-1-2-2 (p168): 7.2.2 有关产品线工程的汽车电子的特性与需求
p3-1-3 (p171): 7.3 基本术语
p3-1-3-1 (p171): 7.3.1 软件产品线
p3-1-3-2 (p173): 7.3.2 变异性
p3-1-3-3 (p174): 7.3.3 作为可变性建模的一种形式的特征建模
p3-1-3-4 (p183): 7.3.4 讨论：汽车域的特征建模
p3-1-4 (p183): 7.4 汽车产品线可变性的整体协调
p3-1-4-1 (p185): 7.4.1 小到中型的产品线的协作
p3-1-4-2 (p185): 7.4.2 高度复杂的产品线协作
p3-1-5 (p187): 7.5 产品级别的变异性
p3-1-5-1 (p187): 7.5.1 基本方法
p3-1-5-2 (p187): 7.5.2 与局部产品变异性有关的困难
p3-1-5-3 (p189): 7.5.3 表示ECU要求规范中的变异性
p3-1-5-4 (p190): 7.5.4 表现的评估
p3-1-5-5 (p191): 7.5.5 对通用基础的映射表示
p3-1-6 (p192): 参考文献
p3-2 (p193): 第8章 汽车电子中软件的复用
p3-2-1 (p193): 8.1 软件的复用：汽车OEM所面临的挑战
p3-2-2 (p194): 8.2 汽车领域中软件复用的必要条件
p3-2-3 (p196): 8.3 支持汽车上应用软件的复用
p3-2-3-1 (p197): 8.3.1 流程
p3-2-3-2 (p198): 8.3.2 模块化汽车软件组件研发
p3-2-3-3 (p199): 8.3.3 函数库
p3-2-3-4 (p201): 8.3.4 车载嵌入系统的发展
p3-2-4 (p204): 8.4 应用实例
p3-2-5 (p207): 8.5 结论
p3-2-6 (p208): 参考文献
p3-3 (p210): 第9章 汽车嵌入式系统架构描述语言（ADL）
p3-3-1 (p210): 9.1 介绍
p3-3-2 (p210): 9.2 工程信息的挑战
p3-3-2-1 (p210): 9.2.1 减少成本和开发时间
p3-3-2-2 (p211): 9.2.2 开发机构和信息交换
p3-3-2-3 (p211): 9.2.3 产品的复杂性
p3-3-2-4 (p211): 9.2.4 质量和安全
p3-3-2-5 (p211): 9.2.5 并行工程
p3-3-2-6 (p212): 9.2.6 复用和产品线架构
p3-3-2-7 (p212): 9.2.7 分析和综合
p3-3-2-8 (p212): 9.2.8 样机
p3-3-3 (p212): 9.3 实践状态
p3-3-3-1 (p212): 9.3.1 基于模型的设计
p3-3-3-2 (p216): 9.3.2 工具
p3-3-3-3 (p219): 9.3.3 基于模型设计之外的问题
p3-3-4 (p220): 9.4 ADL解决方案
p3-3-4-1 (p220): 9.4.1 汽车ADL的一般问题
p3-3-4-2 (p221): 9.4.2 需要什么来建模
p3-3-5 (p223): 9.5 目前的ADL方法
p3-3-5-1 (p223): 9.5.1 Forsoft汽车
p3-3-5-2 (p224): 9.5.2 SysML
p3-3-5-3 (p225): 9.5.3 架构与分析描述语言
p3-3-5-4 (p225): 9.5.4 实时式和嵌入式系统的建模与分析
p3-3-5-5 (p226): 9.5.5 AUTOSAR建模
p3-3-5-6 (p227): 9.5.6 EAST-ADL
p3-3-6 (p229): 9.6 结论
p3-3-7 (p230): 参考文献
p3-4 (p231): 第10章 基于模型的汽车嵌入式系统的开发
p3-4-1 (p231): 10.1 简介和本章概要
p3-4-1-1 (p232): 10.1.1 什么是MBD？
p3-4-1-2 (p234): 10.1.2 本章概要
p3-4-2 (p236): 10.2 汽车嵌入式系统推动MBD
p3-4-2-1 (p236): 10.2.1 MBD在汽车嵌入式系统研发中的角色
p3-4-2-2 (p238): 10.2.2 MBD方法
p3-4-2-3 (p239): 10.2.3 MBD的驱动因素
p3-4-2-4 (p241): 10.2.4 MBD方法的潜在好处
p3-4-3 (p243): 10.3 背景、关注和要求
p3-4-3-1 (p243): 10.3.1 对MBD的语境要求
p3-4-3-2 (p245): 10.3.2 MBD工作解决的产品关注点
p3-4-4 (p247): 10.4 MBD技术
p3-4-4-1 (p248): 10.4.1 建模语言：抽象、关系和行为
p3-4-4-2 (p251): 10.4.2 分析技术
p3-4-4-3 (p253): 10.4.3 合成技术
p3-4-4-4 (p253): 10.4.4 工具
p3-4-5 (p255): 10.5 MBD类别与工业实践
p3-4-5-1 (p255): 10.5.1 汽车实践简述
p3-4-5-2 (p257): 10.5.2 研究和相关的标准化工作
p3-4-6 (p260): 10.6 在工业领域采用MBD的准则
p3-4-6-1 (p261): 10.6.1 战略问题
p3-4-6-2 (p262): 10.6.2 采用MBD：流程和机构方面的考虑
p3-4-6-3 (p264): 10.6.3 期望的MBD技术属性
p3-4-6-4 (p266): 10.6.4 对MBD常见的反对声音及缺陷
p3-4-7 (p267): 10.7 结论
p3-4-8 (p268): 参考文献
p4 (p277): 第四部分 验证、测试和定时分析
p4-1 (p277): 第11章 汽车控制软件测试
p4-1-1 (p277): 11.1 引言
p4-1-1-1 (p277): 11.1.1 动态测试
p4-1-1-2 (p278): 11.1.2 目前的做法
p4-1-1-3 (p279): 11.1.3 构造测试流程
p4-1-1-4 (p279): 11.1.4 基于模型与基于代码的测试
p4-1-2 (p280): 11.2 测试活动和测试技术
p4-1-2-1 (p280): 11.2.1 测试活动
p4-1-2-2 (p284): 11.2.2 汽车控制软件中典型的测试设计技术
p4-1-2-3 (p295): 11.2.3 汽车控制软件的测试执行技术案例
p4-1-2-4 (p297): 11.2.4 汽车控制软件示范式测试评估技术
p4-1-3 (p300): 11.3 开发过程中的测试
p4-1-3-1 (p300): 11.3.1 基于代码开发过程中的测试
p4-1-3-2 (p302): 11.3.2 在基于模型开发过程中的测试
p4-1-3-3 (p305): 11.3.3 OEM和供应商之间的接口与互动
p4-1-4 (p307): 11.4 测试计划
p4-1-4-1 (p307): 11.4.1 创建测试计划
p4-1-4-2 (p308): 11.4.2 测试等级的选择
p4-1-4-3 (p309): 11.4.3 测试对象的选择
p4-1-4-4 (p310): 11.4.4 集成策略
p4-1-4-5 (p311): 11.4.5 测试环境
p4-1-5 (p311): 11.5 总结
p4-1-6 (p312): 参考文献
p4-2 (p315): 第12章 基于F1exRay应用模块的测试和监控
p4-2-1 (p315): 12.1 基于F1exRay应用模块介绍
p4-2-1-1 (p315): 12.1.1 系统架构
p4-2-1-2 (p321): 12.1.2 F1exRay协议
p4-2-2 (p321): 12.2 测试与监控目标
p4-2-2-1 (p322): 12.2.1 测试和监控标准
p4-2-2-2 (p325): 12.2.2 测试和监控操作方案
p4-2-3 (p325): 12.3 监控与测试方法
p4-2-3-1 (p326): 12.3.1 基于软件的验证
p4-2-3-2 (p332): 12.3.2 基于硬件的验证
p4-2-4 (p335): 12.4 测试方法讨论
p4-2-4-1 (p335): 12.4.1 基于软件的测试方法
p4-2-4-2 (p336): 12.4.2 基于硬件的测试方法
p4-2-5 (p337): 12.5 结论
p4-2-6 (p337): 参考文献
p4-3 (p339): 第13章 基于CAN网络的汽车通信系统的时序分析
p4-3-1 (p339): 13.1 简介
p4-3-1-1 (p339): 13.1.1 历史
p4-3-1-2 (p340): 13.1.2 应用
p4-3-1-3 (p340): 13.1.3 章节编排
p4-3-2 (p340): 13.2 CAN
p4-3-2-1 (p341): 13.2.1 拓扑结构
p4-3-2-2 (p342): 13.2.2 帧
p4-3-2-3 (p342): 13.2.3 帧仲裁
p4-3-2-4 (p344): 13.2.4 错误检测
p4-3-2-5 (p345): 13.2.5 位填充
p4-3-2-6 (p346): 13.2.6 帧传输时间
p4-3-3 (p347): 13.3 CAN调度
p4-3-4 (p348): 13.4 调度模型
p4-3-5 (p349): 13.5 响应时间分析
p4-3-5-1 (p350): 13.5.1 充分响应时间测试
p4-3-5-2 (p350): 13.5.2 精确的响应时间测试
p4-3-5-3 (p351): 13.5.3 案例
p4-3-6 (p353): 13.6 时序分析综合误差影响
p4-3-6-1 (p354): 13.6.1 简单误差模型
p4-3-6-2 (p354): 13.6.2 修正响应时间分析
p4-3-6-3 (p355): 13.6.3 广义确定性误差模型
p4-3-6-4 (p356): 13.6.4 概率误差模型
p4-3-7 (p357): 13.7 整体分析
p4-3-7-1 (p357): 13.7.1 属性继承
p4-3-7-2 (p358): 13.7.2 整体调度问题
p4-3-7-3 (p358): 13.7.3 案例
p4-3-8 (p361): 13.8 中间件和帧封装
p4-3-9 (p362): 13.9 总结
p4-3-10 (p363): 参考文献
p4-4 (p367): 第14章 主要性能提升方式：使用偏移方式调度CAN信息
p4-4-1 (p367): 14.1 概述
p4-4-2 (p368): 14.2 偏移分配算法
p4-4-2-1 (p368): 14.2.1 设计假说与记号
p4-4-2-2 (p368): 14.2.2 记号
p4-4-2-3 (p369): 14.2.3 WCRT分析的工具支持
p4-4-2-4 (p369): 14.2.4 算法描述
p4-4-3 (p372): 14.3 实验设置
p4-4-4 (p373): 14.4 WCRT上使用偏移的优势
p4-4-4-1 (p373): 14.4.1 有无偏移的WCRT比较
p4-4-4-2 (p374): 14.4.2 成效的解释：网络负载分布更合理
p4-4-4-3 (p376): 14.4.3 部分偏移的应用
p4-4-5 (p377): 14.5 偏移可允许更高的网络负荷
p4-4-6 (p379): 14.6 结论
p4-4-7 (p379): 参考文献
p4-5 (p381): 第15章 汽车域的形式化方法：TTA（时间触发架构）概况
p4-5-1 (p381): 15.1 简介
p4-5-2 (p381): 15.2 感兴趣的话题
p4-5-2-1 (p382): 15.2.1 中心守护者的故障屏蔽功能
p4-5-2-2 (p383): 15.2.2 组成员和派系失效（策略）
p4-5-2-3 (p384): 15.2.3 时钟同步
p4-5-2-4 (p385): 15.2.4 启动和整合
p4-5-3 (p386): 15.3 建模方面
p4-5-3-1 (p387): 15.3.1 建模计算
p4-5-3-2 (p390): 15.3.2 建模时间
p4-5-3-3 (p391): 15.3.3 建模故障
p4-5-4 (p392): 15.4 验证技术
p4-5-4-1 (p392): 15.4.1 定理证明
p4-5-4-2 (p398): 15.4.2 模型检查
p4-5-5 (p400): 15.5 前景
p4-5-6 (p401): 参考文献

<p class=null1>A Clear Outline of Current Methods for Designing and Implementing Automotive Systems</p><p>Highlighting requirements, technologies, and business models, the <b>Automotive Embedded Systems Handbook</b> provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment.</p><p>Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues.</p><p>Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems.</p>

A Clear Outline of Current Methods for Designing and Implementing Automotive Systems Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment. Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues. Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems.

"Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment." "Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems."--Jacket

本书分四部分,共15章,主要内容包括:汽车功能域及其要求,智能车辆技术,嵌入式汽车协议综述,可靠的汽车CAN网络,汽车电子产品生产线,汽车电子中软件的复用,基于模型的汽车嵌入式系统的开发等

科目
关键字

2021-06-01