MATLAB Virtual Conference

Proceedings

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

Dr. Arun Chakrapani Rao, Rolls-Royce UTC in Control and Systems Engineering, Sheffield, U.K. Mohan Murugesan, General Motors Technical Centre India Pvt. Ltd.

Read abstract

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.