Dr. Arun Chakrapani Rao, General Motors Technical Center India Pvt. Ltd.
Mohan Murugesan,通用汽车技术中心印度分公司
本演示介绍Simulink Verification an金宝appd Validation™和Simulink Design Verifier™。它强调先进的验证和验证技术(包括结构覆盖分析和正式方法),以测试各种部件在暖通空调控制软件准备和核心工程组。这一节还总结了通用汽车公司的一些成果,已经获得的利益,我们希望实现的长期目标,以及我们面临的一些挑战。
注:Simu金宝applink验证和验证过渡到Simulink检查,Simulink覆盖范围和R2017b中的Simulink要求。
录制日期:2013年3月20日
您也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳的网站性能。其他MathWorks国家网站没有针对您所在位置的访问进行优化。