Ram Cherukuri, MathWorks
Learn how to use Polyspace to improve software quality & security and prevent software-related defects in your embedded devices. In this webinar you will find out how engineers are using Polyspace static analysis tools to reduce the software development cycle by finding and fixing bugs as part of the design process.
Using a unique formal-method approach called abstract interpretation, Polyspace analyzes your code statically to detect defects that are hard to test or debug. Examples include divide by zeroes, buffer overflows, memory leaks and so on. You can integrate Polyspace static analysis tools into your build process and automate the error detection part of your testing.
Learn how Polyspace increases reliability and confidence, without increasing testing to:
About the Presenter
Ram Cherukuri is the Technical 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 to help support MathWorks customers deploy Model-Based Design. He 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.