Skip to content
MathWorks - Mobile View
  • 登录到您的 MathWorks 帐户登录到您的 MathWorks 帐户
  • Access your MathWorks Account
    • 我的帐户
    • 我的社区资料
    • 关联许可证
    • 登出
  • 产品
  • 解决方案
  • 学术
  • 支持
  • 社区
  • 活动
  • 获取 MATLAB
MathWorks
  • 产品
  • 解决方案
  • 学术
  • 支持
  • 社区
  • 活动
  • 获取 MATLAB
  • 登录到您的 MathWorks 帐户登录到您的 MathWorks 帐户
  • Access your MathWorks Account
    • 我的帐户
    • 我的社区资料
    • 关联许可证
    • 登出

视频与网上研讨会

  • MathWorks
  • 视频
  • 视频首页
  • 搜索
  • 视频首页
  • 搜索
  • 联系销售人员
  • 试用软件
31:03 Video length is 31:03.
  • Description
  • Related Resources

Utilization of Simulink Verification and Validation and Simulink Design Verifier for HVAC Controls Software

Dr. Arun Chakrapani Rao, General Motors Technical Center India Pvt. Ltd.
Mohan Murugesan, General Motors Technical Center India Pvt. Ltd.

This presentation introduces Simulink Verification and Validation™ and Simulink Design Verifier™. It highlights advanced verification and validation techniques (involving structural coverage analysis and formal methods) for testing various components within the HVAC Controls Software Readiness and Core Engineering groups. This session also summarizes some of General Motors Company’s results, the benefits already obtained, those we hope to achieve in the long run, and some of the challenges that confront us.

Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Requirements Toolbox in R2017b.

Recorded: 20 Mar 2013

Related Products

  • Simulink
  • Simulink Check
  • Simulink Coverage
  • Simulink Design Verifier
  • Requirements Toolbox

Bridging Wireless Communications Design and Testing with MATLAB

Read white paper

Feedback

Featured Product

Simulink

  • Request Trial
  • Get Pricing

Up Next:

17:50
Eliminating Design Errors in Your Algorithm Using Simulink...

Related Videos:

19:00
Design of a Functional Size Measurement Tool for Real-Time...
40:19
Verification and Validation Solutions for High Integrity...
41:49
How to Develop Interactive User Interfaces for Simulink...
21:51
What’s New in MATLAB and Simulink for Model-Based Design

View more related videos

MathWorks - Domain Selector

Select a Web Site

Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .

  • Switzerland (English)
  • Switzerland (Deutsch)
  • Switzerland (Français)
  • 中国 (简体中文)
  • 中国 (English)

You can also select a web site from the following list:

How to Get Best Site Performance

Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.

Americas

  • América Latina (Español)
  • Canada (English)
  • United States (English)

Europe

  • Belgium (English)
  • Denmark (English)
  • Deutschland (Deutsch)
  • España (Español)
  • Finland (English)
  • France (Français)
  • Ireland (English)
  • Italia (Italiano)
  • Luxembourg (English)
  • Netherlands (English)
  • Norway (English)
  • Österreich (Deutsch)
  • Portugal (English)
  • Sweden (English)
  • Switzerland
    • Deutsch
    • English
    • Français
  • United Kingdom (English)

Asia Pacific

  • Australia (English)
  • India (English)
  • New Zealand (English)
  • 中国
    • 简体中文Chinese
    • English
  • 日本Japanese (日本語)
  • 한국Korean (한국어)

Contact your local office

  • 联系销售人员
  • 试用软件

MathWorks

Accelerating the pace of engineering and science

MathWorks 公司是世界领先的为工程师和科学家提供数学计算软件的开发商。

发现…

了解产品

  • MATLAB
  • Simulink
  • 学生版软件
  • 硬件支持
  • File Exchange

试用或购买

  • 下载
  • 试用软件
  • 联系销售
  • 定价和许可
  • 如何购买

如何使用

  • 文档
  • 教程
  • 示例
  • 视频与网上研讨会
  • 培训

获取支持

  • 安装帮助
  • MATLAB Answers
  • 咨询
  • 许可中心
  • 联系支持

关于 MathWorks

  • 招聘
  • 新闻室
  • 社会愿景
  • 客户案例
  • 关于 MathWorks
  • Select a Web Site United States
  • 信任中心
  • 商标
  • 隐私权政策
  • 防盗版
  • 应用状态

京公网安备 11010502045942号京ICP备12052471号

© 1994-2022 The MathWorks, Inc.

  • Weibo
  • WeChat

    WeChat

  • Bilibili
  • Youku
  • LinkedIn
  • RSS

关注我们