Arun Chakrapani Rao博士,通用汽车技术中心PVT。有限公司
Mohan Murugesan,通用汽车技术中心印度PVT。有限公司
此演示介绍了Simulink验证和验证™和Simulink万博1manbetx Design Verifier™。它突出了高级验证和验证技术(涉及结构覆盖分析和正式方法),用于测试HVAC控制软件准备和核心工程组中的各种组件。本次会议还总结了一般汽车公司的结果,已经获得的福利,我们希望从长远来看实现的那些,以及一些面对我们的挑战。
注意:Sim万博1manbetxulink验证和验证转换为R2017B中的Simulink Check,Simulink Coverage和Simulink要求。
记录:2013年3月20日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。