模型验证的最佳实践

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

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

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

录制日期: 2014 年 5 月 6 日

反馈

下一个:

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

相关视频:

模型验证和优化

从课堂理论到动手实践：基于项目的学习实例演示

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

Simulink 应用于AUTOSAR的最佳实践

查看更多相关视频