Building Robust Embedded Software: V&V Strategies for Ensuring Quality Across Models and Code
Zürich, Switzerland
| Venue | Start Date | End Date |
|---|---|---|
| Novotel Zürich City West | 15 Oct 2025, 11:45 CEST | 15 Oct 2025, 17:15 CEST |
Overview
This seminar provides a comprehensive exploration of modern verification and validation (V&V) techniques using Model-Based Design (MBD) and hand-coded software. Participants will gain practical insights into integrating industry standards, automated testing, and CI/CD pipelines for robust software development.
Highlights
- End-to-end Verification & Validation workflow with MATLAB® and Simulink®
- Automated model and code verification integrated with CI/CD (Jenkins, GitLab CI, Azure DevOps)
- Compliance with safety-critical coding standards (MISRA, CERT-C, AUTOSAR)
- Practical approaches to static and dynamic analysis, coverage, and traceability
- Compliance and certification to industry standards ( ISO 26262, IEC 61508, DO 178C, ISO/SAE 21434)
Who Should Attend
- Embedded Software Engineers
- Test and Functional Safety Engineers
- Systems Engineers using Model-Based Design
- Software Developers
- Managers & Team Leaders
About the Presenters
Arnaud Btabeko is a Senior Application Engineer at MathWorks, specializing in certification workflows and verification & validation solutions for both handwritten and autogenerated code from MATLAB and Simulink. Prior to joining MathWorks, Arnaud gained experience in the automotive industry, where he contributed to the design and verification of battery management systems. He also worked as a Research Engineer at Siemens, focusing on simulation and co-design for mechatronic systems. In his current role, Arnaud supports MathWorks customers across a range of industries, including aerospace, automotive, and medical, by applying model-based design solutions for code generation and verification workflows. He helps organizations achieve certification in compliance with relevant industry standards and authorities.
Stefano Bitondo is a seasoned engineer specializing in embedded code generation and design automation, with robust experience in the automotive and medical device industries. At MathWorks, he excels in developing adaptive control systems for automotive applications. His expertise spans MATLAB, Simulink, and AUTOSAR, ensuring ISO 26262 and MISRA C compliance. Previously, Stefano led software engineering projects at General Motors and served as a Safe Scrum Master at GN Hearing. He holds a master's in Mechatronics, Robotics, and Automation Engineering from Politecnico di Torino.
Ragu Hegde is a senior account manager at MathWorks Switzerland, with over 18+ years of international experience in helping customers successfully implement digital engineering technologies to accelerate product development, enhance innovation, and drive business growth. Before joining MathWorks, Ragu held senior roles in Liebherr, Parker-Meggitt, TECOSIM focusing on product development, business strategy and digital transformation. He holds a master’s in Computational Engineering from Ruhr Uni Bochum, Germany and MBA from HEC Uni Lausanne, Switzerland.
Agenda
| Time | Title | Presenter |
| 11:45 | Lunch & Registration | |
| 12:45 | Welcome and Practical Examples from the Field | Ragu Hegde |
| 13:00 | Model-Level Verification
|
Stefano Bitondo |
| 14:00 | Automatic Code Generation & Testing
|
Stefano Bitondo |
| 14:45 | Coffee Break | |
| 15:00 | Industry use case | To be confirmed |
| 15:45 | Code-Level Verification
|
Arnaud Btabeko |
| 16:30 | Verification and Validation Strategies for Functional Safety and Cybersecurity Standards
|
Arnaud Btabeko |
| 17:00 | Closing Thoughts and How to Get Started? | Ragu Hegde |
| 17:15 | Networking Apéro |
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.
