模型验证的最佳实践

此主题介绍使用基于模型的设计在开发嵌入式软件的过程中，如何对算法模型进行验证，具体内容包括模型验证所包含的各个环节：

  • 建模标准检查
  • 模型与需求的双向追溯
  • 模型的功能测试
  • 模型验证的形式化方法
  • 各行业标准对模型验证的要求

提醒：Simulink Verification and Validation 在R2017b版本转变到 Simulink Check、Simulink Coverage和Simulink Requirement中。

录制日期: 2014 年 5 月 6 日

反馈

下一个:

在使用基于模型的设计进行嵌入式软件开发过程中，模型验证是保障软件品质的重要环节，代码生成是提高软件开发效率的重要手段，而硬件在环为控制器进入产品化之前的系统确认提供了最安全、便捷的方案。这一部分，我们会向您介绍如何使用Simulink Verification and Validation™和Simulink Design Verifier™ 实现模型验证, 使用Embedded Coder实现代码生成，以及使用xPC Target实现硬件在环

模型验证、代码生成以及硬件在环

相关视频:

嵌入式控制模型日趋庞大和复杂。为改善工程效率，公司必须为建立和维护这些大规模模型建立一个统一的方法。该演讲将提供MathWorks技术咨询团队的最佳实践建议，包括逻辑体系架构、模型到组件的分解、组件设计前的清晰的接口定义，以及开发基础架构等其他需要考虑的事项。

嵌入式控制系统大规模建模的最佳实践

在中国，已经有不少公司开始着手研究AUTOSAR，甚至产品化的尝试。MathWorks作为基于模型设计的主要倡导者以及工具链的领先供应商，从流程、技术以及工具等各个层面提供全面支持，与全球主要整车厂及零部件供应商展开深入的技术合作。本演讲从工具支持以及客户成功案例开始，展开分享9条具体的实践经验，希望从技术及流程层面展示如何将MathWorks工具链应用到AUTOSAR产品

Simulink 应用于AUTOSAR的最佳实践

基于模型的设计因为其自身固有的优势，已经成为汽车电子软件开发的主流模式。在使用基于模型的设计开发汽车电子软件的过程中，如何建立涵盖需求分析、设计评审、单元测试、集成测试、可追溯、代码验证以及软件版本控制的开发流程，正在成为汽车电子软件开发者最为关心的问题。本课程将参照ISO 26262，介绍汽车电子软件开发中从需求到软件实现的整个过程。

符合ISO 26262的汽车电子软件开发流程

此主题将以永磁同步电机的控制系统开发为例，介绍基于模型设计中的嵌入式代码自动生成和快速实现控制系统产品化。我们将使用TI DRV8312电机控制套件为大家现场演示电机控制算法的：嵌入式代码的自动生成, Processor-in-the-loop (PIL)测试, 代码在CCS中的集成

基于模型设计的电机控制系统开发 （以TI DRV8312为硬件实例

查看更多相关视频