模型验证和优化

内容摘要：

本次研讨会将主要介绍在使用基于模型设计开发嵌入式软件过程中，如何进行控制算法模型的验证以及模型的优化工作。主要包括建模标准检查、模型评审、功能测试、形式化方法验证等环节。

参加对象：

使用基于模型设计开发软件的系统工程师、软件工程师以及相关技术管理人员。

受益：

通过本次研讨会，您将会了解到基于模型设计过程中最为重要的模型验证环节所要进行的主要活动，以及相关的工具支持，可以为您在基于模型设计的流程优化提供参考。

相关产品：

• MATLAB
• Simulink/Stateflow
• Simulink Verification & Validation
• Simulink Design Verifier
• Simulink Report Generator

董淑成： MathWorks公司中国区高级应用工程师,主要负责自动代码生成在汽车及其他工业领域中的应用。毕业于北京航空航天大学，并获得控制工程硕士学位。加入MathWorks之前曾供职于德尔福中国研发中心，长期从事汽车电子产品软件开发，在基于模型设计的工具链应用以及流程优化方面有丰富的经验。