Polyspace Users Meetup November 19th 2025
| Start Time | End Time |
|---|---|
| 19 Nov 2025, 05:00 EST | 19 Nov 2025, 06:00 EST |
Overview
99% Green – Optimize Your Polyspace Results in Model-Based Development
We are delighted to extend an invitation to our upcoming free 1-hour online event, the Polyspace Users Meetup.
Join us to explore the latest advancements and capabilities in Polyspace. This event is an excellent opportunity for you to enhance your Polyspace skills and gain valuable insights into optimizing your software development processes.
Highlights
Model-Based Design users, who want to prove their generated code is free from runtime errors, often aim for 100% green results in Polyspace Code Prover. In practice, analyses may also include orange findings, which indicate potential runtime errors and require additional review.
In this Polyspace Users Meetup, you will learn about the typical causes of orange findings, how to use model-level knowledge to improve Polyspace analyses, and which strategies can help you raise your proven-green rate. The session will provide practical guidance so you can reduce review effort and focus on the remaining real issues that matter most.
Who Should Attend
- Model-Based Design users generating C/C++ code from Simulink
- Engineers verifying automatically generated code with Polyspace Code Prover
- Process responsibles aiming to improve verification efficiency and reduce review overhead
About the Presenter
Arnaud Btabeko is a senior application engineer specializing in verification and validation as well as model-based design.
Over the past 10 years at MathWorks, he has supported customers in applying static and dynamic code analysis with Polyspace and in implementing model verification workflows. Arnaud brings deep expertise in the automotive industry and is a specialist in functional safety and security, helping teams build confidence in the quality and robustness of their embedded software.
Agenda
| Time | Title |
10:00 |
Welcome & Introduction (5 minutes) |
10:05 |
99% Green – Optimize Your Polyspace Results in Model-Based Development (40 minutes)
|
10:45 |
Q&A and Closing Remarks (15 minutes) |
11:00 |
End of the Polyspace Users Meetup |
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.
