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