Transforming Code Quality and V&V in Modern Software Factories using Polyspace

Overview

In today’s fast-paced development environment, producing high-quality, secure, and standards-compliant software is more crucial than ever. Development ecosystems optimize workflows by automating repetitive tasks, ensuring consistency, and reducing time-to-market—all while maintaining exceptional quality.

Explore how Polyspace's powerful static and dynamic code analysis tools can transform your processes. From detecting bugs and enforcing coding guidelines to uncovering security risks and verifying the absence of critical runtime errors, Polyspace equips you with the capabilities to streamline and enhance your software delivery. Discover how seamless integration of Polyspace—from your IDE to continuous integration (CI) pipelines—enables scalable, reliable, and efficient software production.

Highlights

• Validate code quality directly within your IDE.
• Embrace Test-Driven Development (TDD) using xUnit testing APIs.
• Verify both manually written and auto-generated code seamlessly.
• Automate testing and code analysis within CI pipelines.
• Implement software quality standards throughout your supply chain.

About the Presenters

Vaishnavi H.R.
MathWorks

Vaishnavi H.R. is an application engineer with MathWorks India focusing on the field of verification and validation, and primarily concentrating on static source code analysis and verification of the embedded code.

Prior to joining MathWorks, Vaishnavi worked with HCL Technologies, Bangalore, and on V&V projects pertaining to the aero industry with clients like Rockwell Collins.

Prashant Mathapati
MathWorks

Prashant Mathapati is an Application Engineering Manager at MathWorks India specializing in signal processing and embedded code analysis and verification. He has over ten years of experience at MathWorks. 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.

Amal Sebastian
MathWorks

Amal K Sebastian works at MathWorks as the India Account Manager for Polyspace Suite of Products. Coming from a techno-commercial background, he has 8+ years of professional experience working with different V&V customers. Amal’s career includes roles as an Application Engineer, Account Manager, Technical Consultant and Business Development Manager at National Instruments and AvGarde Systems.  He holds a B.Tech in Electrical & Electronics from College of Engineering Trivandrum and an MBA from IIM Kozhikode.