The Library
Utilization of simulink verification and validation (V&V) and simulink design verifier (SDV) for HVAC controls software
Tools
Tools
Tools
Chakrapani Rao, Arun, Kakade, Rupesh and Murugesan, Mohan (2013) Utilization of simulink verification and validation (V&V) and simulink design verifier (SDV) for HVAC controls software. In: MATLAB Virtual Conference 2013 - European Track, Sheffield, United Kingdom, 20 Mar 2013
|
PDF
WRAP_utilisation-of-simulink-verification-and-validation-and-simulink-design-verifier-for-hvac-controls-software.pdf - Requires a PDF viewer. Download (1449Kb) | Preview |
Official URL: http://engage.vevent.com/mathworks/mvc2013_agendap...
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 > 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, Air conditioning -- Data processing, General Motors Corporation | ||||||
| Official Date: | 20 February 2013 | ||||||
| Dates: |
|
||||||
| Status: | Peer Reviewed | ||||||
| Publication Status: | Published | ||||||
| Conference Paper Type: | Keynote | ||||||
| Title of Event: | MATLAB Virtual Conference 2013 - European Track | ||||||
| Type of Event: | Conference | ||||||
| Location of Event: | Sheffield, United Kingdom | ||||||
| Date(s) of Event: | 20 Mar 2013 | ||||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
