基于MATLAB全工具链的嵌入式软件开发-演讲报告

1上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.基于MATLAB全工具链的嵌入式软件开发上汽技术中心/动力总成电控部孙铎2上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.SimulinkDesignVerifierEmbeddedCoderSimulinkSimulinkDataDictionaryModelAdvisorSimulinkTestPolyspaceReportGeneratorRequirementsTracebilityModelCompareSimulinkDataInspector3上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•统一的开发环境模型架构设计数据字典管理基本模块库&基本算法库建模规范&命名规范单元测试及验证4上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•统一的开发环境模型架构设计及数据字典管理模型及数据字典采用分布式设计，便于并行开发，团队合作对分别交付的数据字典和模型进行版本控制，单独生成代码ModelIntegrationAutoCodingCompile&Merge5上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•统一的开发环境模型结构设计通过bus进行信号交互（模型结构及层次明确，数据流清晰）统一的模型结构（数据流清晰，可读性好）SystemOverallTCUModelSubSystemFunctionModel6上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•统一的开发环境基本模块库和基本算法库标准化基本模块库模块默认值标准配置基本算法库TLC文件配置复杂接口函数发挥EmbeddedCoder特点优势7上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•统一的开发环境建模规范及命名规范MAAB&MISRA变量命名规范软件建模规范开发自动检查工具开发检查脚本8上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•统一的开发环境单元测试及验证TestHarness自动生成自动对比测试结果自动批量执行测试图形化测试案例编辑通过与Excel交互，满足ASPICE要求SimulinkTest进行统一管理9上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•统一的开发环境单元测试及验证规范清晰的交付标准文档自动化单元测试结果单元测试覆盖度报告单元测试报告模型与设计追踪关系10上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.建模、命名规范检查、DDinterface检查SubsystemMIL测试&MIL测试静态运行时错误检查代码规范检查HILtest•持续的测试验证11上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•持续的测试验证建模及命名规范，DataDictionary检查基于ModelAdvisor内核自定义检查脚本通过邮件自动反馈12上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•持续的测试验证SIL&MILTestMATFile测试环境测试案例测试结果数据文件观测界面13上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•持续的测试验证SIL&MILTest直接执行案例文档实现自动评估结果批量自动执行多层次功能测试14上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•持续的测试验证静态运行时错误检查及代码规范检查应用PolySpace形式化验证自动生成代码及手写代码验证代码规范路径复杂度STCYC静态路径计数值STPTH单一函数的行数STLIN最大嵌套值STMIF静态变量数STSCT15上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•持续的测试验证HILtest16上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.统一代码生成环境高效集成方案•高效的软件集成17上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•高效的软件集成统一的代码生成环境多项自动化操作标准化代码生成环境配置模块化集成方案DD纠错版本、文件名匹配18上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•高效的软件集成高效集成多种软件集成方案一键式快速集成获取版本信息检查交付文件下载模型/代码到工作路径LoadSLDD生成代码及A2L文件编译合并A2L文件模型及DD版本规范检查报告DDInterfaceCheck模型及DD文件代码及A2L文件Hex文件A2L文件Excel文件SLDD代码及A2L文件19上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.•在26262方面的支持单元测试引入MCDC覆盖度考量利用Polyspace支持静态代码分析基本模块库的应用命名规范的应用20上海汽车集团股份有限公司乘用车公司SAICMotorPassengerVehicleCo.