Arun Chakrapani Rao博士,通用汽车印度技术中心有限公司
Mohan Murugesan,通用汽车印度技术中心有限公司
本演示介绍了Simulink Verification a金宝appnd Validation™和Simulink Design Verifier™。它强调了在HVAC控制软件准备和核心工程组中测试各种组件的高级验证和验证技术(涉及结构覆盖分析和正式方法)。这次会议还总结了通用汽车公司的一些成果,已经取得的好处,我们希望在长期内取得的成果,以及我们面临的一些挑战。
注:在R20金宝app17b中,Simulink Verification和Validation已过渡到Simulink Check、Simulink Coverage和Simulink Requirements。
录音时间:2013年3月20日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。