使用基于模型设计开发符合ISO 26262的车用ECU软件-演讲报告

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

使用基于模型设计开发符合ISO26262的车用ECU软件陈伟
21 June 2018
使用基于模型设计开发符合ISO26262的车用ECU 软件蔚来汽车陈伟
蔚来汽车实施ISO 26262的背景如何在MBD开发中符合ISO 26262
蔚来汽车实施ISO 26262的背景如何在MBD开发中符合ISO 26262
车载控制器软件开发趋势
●汽车电子和软件在整车上所占比例越来越大,电子和软
件在整车开发中的地位越来越高,预计2030年电子电器会达到整车成本的50%
●传统车厂大多由供应商开发控制器软件
●新能源汽车公司越来越多的由主机厂开发控制器软件
因软件失效导致的车辆召回统计
●软件相关的车辆召回趋势图
●2011-2015年共发生189起独立软件召回,影响超过1300万辆汽车。

根据制造商分析,141起存
在崩溃的风险; 44起可能导致伤害。

(报告时间:2016年5月)
实施ISO26262的目的
●ISO 26262是汽车行业对于汽车电子开发
的最佳实践
●ISO 26262有助于规范企业的开发流程
●ISO 26262有助于提升企业的开发能力
●ISO 26262有助于提高电子产品品质
关于蔚来:全球13个中心,汇聚来自近40个国家和地区6000+顶尖人才
FE
赛车EP9
EVE 蔚来产品家族ES8
蔚来汽车实施ISO 26262的背景如何在MBD开发中符合ISO 26262
ISO26262对软件开发的需求
●设计阶段的Verification
●基于模型的设计改善了设计阶
段的Verification
蔚来汽车MBD开发流程
Requirement Analysis
•Requirement
Specification
•Requirement
analysis report Architecture
Design
•Software
architecture in
EA/DaVinCi Rte
•ICD document
Unit Design
•Model file
•DD
•Model design
document
Unit Test
•Test suite
•Model check
report
•Unit test case
•Unit test report
•Coverage report
Code Generation
•C code
•Code generation
report
Integration
概念及架构阶段仿真验证
●借助电机模型,建立闭环控制系统
Control
System
●闭环模型上设计电机控制策略及架构
辅助架构设计
Test Vectors
Desktop Simulation
(on PC)
Results
Model Object Code Execution
(on MCU)
Results
Generated Code
Object File Code Generator
Cross Compiler
== ?
Compare 借助PIL 测试,获得粗略的执行时间,为架构设计提供参考
项目起始阶段定义建模规范
●MAAB和Modeling Guidelines for HIS为基础●开发过程中逐步完善建模标准
●Simulink Check提供建模标准的检查功能
模型设计阶段的复杂度监控
●软件开发中经常使用圈复杂度来表达单元
模块的复杂程度
●圈复杂度过大,会给后续的开发、维护和
验证工作带来很多麻烦
●使用Simulink Check的Advisor功能检查复杂

静态验证阶段的设计错误检查
●Simulink Design Verifier提供了对
模型溢出、死逻辑等错误的检查
功能
-破坏性强
-不易定位
●相比于手工编码方式开发软件,
这类错误的检查也大大提前
模型的单元测试
●创建测试框架
●导入测试数据并执行测试●测试结果分析
单元测试阶段的覆盖率
●基于功能需求做测试用例的设计
●单元测试阶段,需要关注测试覆盖率
代码生成后的等效性测试
●在单元模型基础上做PIL 测试
●PIL 做背靠背测试-真实目标处理器
-同时获得资源消耗
Test Vectors
Desktop Simulation
(on PC)
Results
Model Object Code Execution
(on MCU)
Results
Generated Code
Object File Code Generator
Cross Compiler
== ?
Compare
要点
●以通用的建模标准为基础逐步形成公司标准
●需求定义阶段引入闭环仿真
●控制单元模型的圈复杂度
●保证单元测试的高覆盖率
●通过MathWorks工具进行设计错误检查
●PIL实现背靠背测试和计算资源估算
Q&A
Thank you。

相关文档
最新文档