Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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

[img]
Preview
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...

Request Changes to record.

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:
DateEvent
20 March 2013Completion
20 February 2013Accepted
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:
  • Organisation
  • Other

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us