Developing Safe and Secure Embedded Code
Overcome challenges involved in the stages of software development cycle to produce Safe and Secure Embedded Software (C/C++ & Ada), by leveraging Formal Methods based Static Code Analysis Tool (SCA). In this session you will learn how Polyspace products uses combination of Formal and Semi-Formal Method based analysis to prove Run-Time Errors (absence of overflow, divide-by-zero) and identifies concurrency issues, security vulnerabilities, other defects in the code base.
- Test your code as you build, easy integration with IDE
- Ensure the absence of errors for critical modules and robustness testing
- Check for coding rule violations for safety and security like MISRA,JSF,CERT,CWE etc.
- Certification support for DO-178C, ISO 26262, and IEC 62304
- Collaborative Review with Polyspace Access products
About the Presenter
Vaishnavi H.R., Application Engineer, MathWorks India Pvt. Ltd.
Vaishnavi H.R. is an Application Engineer with MathWorks India Private Limited and focuses in the field of Verification & Validation. Prior to joining MathWorks, Vaishnavi has worked with HCL Technologies, Bangalore. Vaishnavi has worked in the V&V projects pertaining to the Aero industry with clients like Rockwell Collins. At MathWorks, Vaishnavi primarily concentrates on the static source code analysis and verification of the embedded code.
From Academia, Vaishnavi holds a Bachelor’s degree in Electrical Engineering and a Master’s degree in Power Electronics from Visvesvaraya Technological University (VTU), Karnataka.
Prashant Mathapati, Principal Application Engineer, MathWorks
Prashant Mathapati is an application engineer at MathWorks India specializing in signal processing and embedded code analysis and verification. He has over eight years of experience in the role. Prior to joining MathWorks, Prashant worked for Trident Infosol and Programming Research as a senior field AE handling products in the signal processing and verification tools domains. He holds a bachelor’s degree in electrical and electronics engineering from Visvesvaraya Technological University (VTU), Karnataka.
This live webinar has ended. You can now view the on-demand webinar.See on-demand webinars