模型验证的最佳实践
此主题介绍使用基于模型的设计在开发嵌入式软件的过程中，如何对算法模型进行验证，具体内容包括模型验证所包含的各个环节：
- 建模标准检查
- 模型与需求的双向追溯
- 模型的功能测试
- 模型验证的形式化方法
- 各行业标准对模型验证的要求
提醒：Simulink Verification and Validation 在R2017b版本转变到 Simulink Check、Simulink Coverage和Simulink Requirement中。
录制日期: 2014 年 5 月 6 日
此主题介绍使用基于模型的设计在开发嵌入式软件的过程中，如何对算法模型进行验证，具体内容包括模型验证所包含的各个环节：
提醒：Simulink Verification and Validation 在R2017b版本转变到 Simulink Check、Simulink Coverage和Simulink Requirement中。
录制日期: 2014 年 5 月 6 日
