1上海汽车集团股份有限公司乘用车公司

SAIC Motor Passenger Vehicle Co.

基于MATLAB全工具链的嵌入式

软件开发

上汽技术中心/动力总成电控部

孙铎

2上海汽车集团股份有限公司乘用车公司

SAIC Motor Passenger Vehicle Co.

SimulinkDesignVerifier

Embedded Coder

Simulink

Simulink Data Dictionary

Model Advisor

SimulinkTest

Polyspace

ReportGeneratorRequirementsTracebility

Model Compare

Simulink Data Inspector

3上海汽车集团股份有限公司乘用车公司

SAIC Motor Passenger Vehicle Co.

• 统一的开发环境

模型架

构设计

数据字

典管理

基本模块

库&基本

算法库

建模规范

&命名规

范

单元测试

及验证

4上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 统一的开发环境

模型架构设计及数据字典管理

模型及数据字典采用

分布式设计，便于并行

开发，团队合作

对分别交付的数据字

典和模型进行版本控制，

单独生成代码

Model Integration

AutoCoding

Compile&Merge

5上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 统一的开发环境

模型结构设计

通过bus进行信号交互（模型结构及层次明确，数据流清晰）

统一的模型结构（数据流清晰，可读性好）

SystemOverall TCU Model

Sub SystemFunction Model

6上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 统一的开发环境

基本模块库和基本算法库

标准化基本模块库

模块默认值标准配置

基本算法库

TLC文件配置复杂接口函数

发挥Embedded Coder特点

优势

7上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 统一的开发环境

建模规范及命名规范

MAAB & MISRA

变量命名规范

软件建模规范

开发自动检查工具

开发检查脚本

8上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 统一的开发环境

单元测试及验证

TestHarness自动生成

自动对比测试结果

自动批量执行测试

图形化测试案例编辑

通过与Excel交互，满足ASPICE要求

Simulink Test进行统一管理

9上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 统一的开发环境

单元测试及验证

规范清晰的交付标准

文档自动化

单元测试结果

单元测试覆盖度报告

单元测试报告

模型与设计追踪关系

10上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

建模、命名规范检查、DD interface检查

Subsystem MIL 测试&MIL 测试

静态运行时错误检查

代码规范检查

HIL test

• 持续的测试验证

11上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 持续的测试验证

建模及命名规范，DataDictionary检查基于Model Advisor内核

自定义检查脚本

通过邮件自动反馈

12上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 持续的测试验证

SIL & MIL Test MATFile

测试环境

测试案例测试结果

数据文件

观测界面

13上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 持续的测试验证

SIL & MIL Test 直接执行案例文档

实现自动评估结果

批量自动执行

多层次功能测试

14上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 持续的测试验证

静态运行时错误检查及代码规范检查

应用PolySpace

形式化验证自动生成代码及手写代码

验证代码规范

路径复杂度STCYC

静态路径计数值STPTH

单一函数的行数STLIN

最大嵌套值STMIF

静态变量数STSCT

15上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 持续的测试验证

HIL test

16上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

统一代码

生成环境

高效集

成方案

• 高效的软件集成

17上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 高效的软件集成

统一的代码生成环境

多项自动化操作

标准化代码生成环境配置

模块化集成方案

DD纠错

版本、文件名匹配

18上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 高效的软件集成

高效集成

多种软件集成方案

一键式快速集成

获取版本信息 检查交付文件下载模型/代码到工

作路径Load SLDD 生成代码及A2L文件 编译 合并A2L文件

模型及DD版本规范检查报告

DD Interface Check

模型及DD文件

代码及A2L文件Hex文件

A2L文件

Excel文件

SLDD 代码及A2L文件

19上海汽车集团股份有限公司乘用车公司SAIC Motor Passenger Vehicle Co.

• 在26262方面的支持

单元测试引入MCDC覆盖度考

量

利用Polyspace支持静态代码

分析

基本模块库的应用

命名规范的应用

20上海汽车集团股份有限公司乘用车公司

SAIC Motor Passenger Vehicle Co.