Arun Chakrapani Rao博士,通用汽车技术中心印度私人有限公司。
Mohan Murugesan,通用汽车技术中心印度私人有限公司。
本演示介绍Simulink验证和验证™ 和Simulink金宝app设计验证程序™. 它强调了先进的验证和确认技术(包括结构覆盖率分析和正式方法),用于测试HVAC控制软件就绪性和核心工程组内的各种组件。本课程还总结了通用汽车公司的一些成果、已经获得的好处、我们希望在长期内实现的目标以及我们面临的一些挑战。
注:Simu金宝applink验证和确认转换为R2017b中的Simulink检查、Simulink覆盖范围和Simulink要求。
记录日期:2013年3月20日
您还可以从以下列表中选择网站:
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家/地区网站未针对您所在地的访问进行优化。