Arun Chakrapani Rao博士,通用汽车印度技术中心有限公司。
莫汉·穆鲁格森,通用汽车印度技术中心
本演示介绍了Simulink验证与验证™和Simulink金宝app设计验证™。它强调了先进的验证和验证技术(包括结构覆盖分析和形式化方法),用于测试暖通空调控制软件准备和核心工程小组中的各种组件。本次会议还总结了通用汽车公司的一些成果,已经获得的利益,我们希望在长期实现,以及我们面临的一些挑战。
注意:在R2金宝app017b中,Simulink验证和确认过渡到Simulink检查、Simulink覆盖和Simulink要求。
记录:2013年3月20日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站表现。其他MathWorks国家站点不适合来自您所在位置的访问。