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
Featured Product
Simulink
Up Next:
Related Videos:
Sélectionner un site web
Choisissez un site web pour accéder au contenu traduit dans votre langue (lorsqu'il est disponible) et voir les événements et les offres locales. D’après votre position, nous vous recommandons de sélectionner la région suivante : .
Vous pouvez également sélectionner un site web dans la liste suivante :
Comment optimiser les performances du site
Pour optimiser les performances du site, sélectionnez la région Chine (en chinois ou en anglais). Les sites de MathWorks pour les autres pays ne sont pas optimisés pour les visites provenant de votre région.
Amériques
- 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
- United Kingdom (English)
Asie-Pacifique
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)