阿伦Chakrapani饶博士,通用汽车技术中心印度列兵。有限公司
磨憨MURUGESAN,通用汽车技术中心印度列兵。有限公司
本讲座介绍Simulink的验证与确认™和Simulink金宝app设计验证™。它突出了HVAC控制软件准备和核心工程组内测试不同的组件先进的核查和验证技术(包括结构化覆盖分析和形式化方法)。本次会议还总结了一些通用汽车公司的成果,已经得到的好处,那些我们希望在长期内实现的,一些我们所面临的挑战。
注:Simu金宝applink的验证与确认过渡到Simulink的检查,Simulink的覆盖面,并在R2017b Simulink的要求。