Mohan Murugesan, General Motors Technical Centre India Pvt. Ltd.
Arun Chakrapani Rao, General Motors Technical Centre India Pvt. Ltd.
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.
Recorded: 08 August 2012