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

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

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