Accelerating Safe Software Development with Enabled Code V&V
Pune, India
| Venue | Start Date | End Date |
|---|---|---|
| MathWorks Office Pune - The Pavillion, Level 5 | 9 Oct 2026, 10:00 IST | 9 Oct 2026, 15:00 IST |
Overview
As embedded software systems become increasingly complex, engineering teams need faster and more efficient ways to ensure software quality, safety, and compliance.
This session, “Accelerating Safe Software Development with AI enabled Code V&V,” will showcase how AI-assisted workflows combined with Polyspace help teams detect defects early, improve code quality, and accelerate development for safety-critical applications.
The session will demonstrate how developers can leverage Polyspace as You Code (PaYC) for faster code iterations and early feedback directly within their development workflow. It will also cover unit testing and code coverage analysis using Polyspace Test, collaborative review and result sharing through Polyspace Access, and how the complete Polyspace suite can be integrated into modern CI/CD pipelines to enable continuous verification across development, testing, and quality teams.
Attendees will gain practical insights into building a smarter, more collaborative, and efficient software verification workflow using AI and the Polyspace ecosystem.
The event will also feature a Tech Connect Zone, providing participants an opportunity to interact with experts, discuss real-world verification challenges, and explore best practices for adopting AI-driven verification workflows in their organizations.
Highlights
- Explore modern Polyspace workflows including AI/agentic and Copilot-driven development and verification approaches
- Deep-dive session on Polyspace Test by product experts covering unit testing and coverage workflows
- Insights into Polyspace as You Code IDE plug in for hand coders for faster iterations and early developer feedback
- Interactive Tech Connect Zone with live demos showcasing end-to-end workflows across the Polyspace ecosystem
Who Should Attend
- Embedded Software Developers working on functional safety critical code
- V&V / QA Engineers responsible for static analysis, dynamic testing, and compliance
- Functional Safety Engineers & Safety Managers involved in ISO 26262, DO-178 workflows
- Cybersecurity Engineers focusing on ISO/SAE 21434 and secure coding practices
- Tech Leads & Architects driving platform, tooling, and process decisions
- MBD Engineers integrating Polyspace with model‑based development workflows
About the Presenter
Damian Packer is the Global Overlay Sales Manager for Polyspace Products at MathWorks, where he leads a world-wide Polyspace-focused sales team. In his 35-year career, Damian has been a software developer, manager, and director; an application engineer, a sales rep, and now a sales manager. Damian was a member of the original Simulink development team and led the team that developed MATLAB Handle Graphics at MathWorks. He directed software development and QA at an MIT-spun off startup that brought an advanced cybersecurity product to market. He brings broad experience in software development processes, quality, cybersecurity, business, and leadership to his current role in fostering successful partnerships, executive relationships, enhancing the customer experience, and ensuring the global success of Polyspace products. Damian holds a BS in Aerospace Engineering (Avionics) from MIT.
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.
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.
Alakananda B G is an Application Engineer at MathWorks India with a strong background in embedded systems and application engineering. She holds a master’s degree in Embedded Systems from PES University. With over three years of industry experience, Alakananda specializes in supporting customers throughout the embedded application development lifecycle. Prior to her current role, she worked at Infineon Technologies as a Senior Customer Applications Engineer, where she played a key role in assisting clients with microcontroller-based solutions and providing technical guidance at multiple stages of embedded product development
Agenda
| Time | Title |
10:00 |
Registration |
10:15 |
Welcome and Introduction |
10:30 |
Keynote: Developing Zero Defect Code – Game Changers for Engineers |
11:00 |
Build Confidence in Embedded Software with Scalable Unit Testing, Coverage Analysis, and Verification Workflows |
11:30 |
Tea/Coffee Break |
11:45 |
Unified Software V&V Platform: Static Analysis, Formal Verification, and Dynamic Testing |
12:30 |
AI-Enabled Developer Workflows: From In-IDE Analysis to Agentic Verification and Collaboration |
13:00 |
Lunch |
14:00 |
Demo/Discussions |
15:00 |
Wrap Up |
Product Focus
We will not sell or rent your personal contact information. See our privacy policy for details.
You are already signed in to your MathWorks Account. Please press the "Submit" button to complete the process.
