Chuck Olosky, MathWorks
Nishaat Vasi, MathWorks
Ram Cherukuri, MathWorks
Test and verification is a critical component of software development. Through simulation you can identify design and requirement errors in your model before generating production code. However, eliminating design errors remains a challenge and extensive testing with 100 percent coverage may still result in a design that contains robustness errors such as overflows and divide-by-zero. Some of these errors may reveal themselves under rare conditions and could be time consuming to debug. They may be induced by certain calibration values and only be found on the HIL bench or in a test vehicle. This presentation illustrates a method for detecting and eliminating such design errors using Simulink Design Verifier, Simulink Verification and Validation. We also illustrate Polyspace code verification helps identify and fix integration errors in our embedded software.
In this webinar we have a moderated discussion about the practical application of formal verification technologies in MATLAB® and Simulink®. MathWorks engineers demonstrate practical applications of our verification tools and answer your questions.
Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Simulink Requirements in R2017b.
About the Presenters:
Nishaat Vasi is a product marketing manager at MathWorks. Since joining MathWorks in 2007, Nishaat has partnered with customers involved in high-integrity applications to promote the adoption of MathWorks tools for software verification and report generation. He holds an M.S. in electrical engineering from the University of Massachusetts and a B.E. in electronics engineering from the University of Mumbai.
Ram Cherukuri is the product marketing manager for Polyspace products at MathWorks. He has a background in Aerospace Engineering and is the Polyspace product expert. In this role, Ram works with leading customers across industries to identify code verification and validation strategies that can be applied to the development of critical embedded systems. Ram joined the MathWorks in 2010 and has extensive experience in computational fluid dynamics and mathematical modeling. Ram received his Masters in Aerospace Engineering from Purdue university and have a Bachelor’s degree in Aerospace Engineering from IIT Bombay in India.
Chuck Olosky is a principal application engineer at MathWorks. He has 25+ years of experience in model-based software development and traditional software development process and tools with a focus on testing.