基于模型的设计使得研发人员在开发早期进行验证成为可能，大大降低修复错误的成本。然而由于受到已有开发流程、手段、人员的经验及职能划分等诸多影响，基于模型的验证在具体实施过程中还是会面临很多挑战。当整个公司转向基于模型的设计时，对于基于模型验证的具体实施方法可能很难确定。特别是当公司希望进一步达到诸如ISO 26262高完整性标准的要求时，该挑战更为突出。本演讲分享基于模型验证实施策略以及实践经验。

了解更多关于 John Lee。

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