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