Arun Chakrapani Rao博士,通用汽车技术中心印度有限公司
Mohan Murugesan,通用汽车技术中心印度有限公司
本演示将介绍Simulink验证与验证™和Simulink金宝app设计验证器™。它强调了先进的验证和验证技术(包括结构覆盖分析和形式化方法),用于测试暖通空调控制软件准备和核心工程组中的各种组件。这次会议还总结了通用汽车公司的一些成果,已经获得的利益,我们希望从长远来看实现的目标,以及我们面临的一些挑战。
注意:在R2金宝app017b中,Simulink验证和验证转换为Simulink检查、Simulink覆盖和Simulink需求。
记录日期:2013年3月20日
您也可以从以下列表中选择一个网站:
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。