Dr. Arun Chakrapani Rao, General Motors Technical Center India Pvt. Ltd.
Mohan Murugesan, General Motors Technical Center India Pvt. Ltd.
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.
Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Simulink Requirements in R2017b.
Recorded: 20 Mar 2013
Featured Product
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
Select web siteYou can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
This website uses cookies to improve your user experience, personalize content and ads, and analyze website traffic. By continuing to use this website, you consent to our use of cookies. Please see our Privacy Policy to learn more about cookies and how to change your settings.