The Library
Utilization of simulink verification and validation (V&V) and simulink design verifier (SDV) for HVAC controls software
Tools
Chakrapani Rao, Arun, Kakade, Rupesh and Murugesan, Mohan (2012) Utilization of simulink verification and validation (V&V) and simulink design verifier (SDV) for HVAC controls software. In: MATLAB EXPO 2012 India, Bengaluru (formerly Bangalore), India, 08 Aug 2012
|
PDF
WRAP_utilisation-of-simulink-verification-and-validation-and-simulink-design-verifier-for-hvac-controls-software (1).pdf - Requires a PDF viewer. Download (1449Kb) | Preview |
Official URL: http://www.matlabexpo.com/in/2012/index.html
Abstract
This presentation introduces Simulink Verification and Validation™ and Simulink Design Verifier™ and 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. The session also summarises some of General Motors’ results and discusses the benefits already obtained and those we hope to achieve in the long run, as well as some of the challenges that confront us.
Item Type: | Conference Item (Keynote) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | T Technology > T Technology (General) T Technology > TK Electrical engineering. Electronics Nuclear engineering T Technology > TL Motor vehicles. Aeronautics. Astronautics |
||||||
Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||
Library of Congress Subject Headings (LCSH): | Heating and ventilation industry, Heating and ventilation industry -- Data processing, Active noise and vibration control, Automobiles -- Maintenance and repair, Air conditioning -- Data processing, General Motors Corporation | ||||||
Official Date: | 8 August 2012 | ||||||
Dates: |
|
||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Conference Paper Type: | Keynote | ||||||
Title of Event: | MATLAB EXPO 2012 India | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Bengaluru (formerly Bangalore), India | ||||||
Date(s) of Event: | 08 Aug 2012 | ||||||
Related URLs: | |||||||
Open Access Version: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |