Building Robust Embedded Software: V&V Strategies for Ensuring Quality Across Models and Code

• Embedded Software Engineers
• V&V 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 DAF Trucks 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.

Antonio Colin is a Team Leader at Stellantis e-Transmissions. For the past seven years he has been heading the Controls department responsible for designing and implementing all transmission control functions—from initial concept through full software integration. Antonio gained valuable experience with the Model-Based Design process for safety-related transmission functions at Punch Powertrain and prior to this he worked at DAF's Vehicle Controls department. He contributed to the development of advanced vehicle functions such as Predictive Cruise Control, Torque Limitation, Blind Spot Detection, and Eco functionalities. He later transitioned to a Functional Safety Engineer role, where he was responsible for conducting Hazard and Risk Analyses (HARA) and defining safety concepts. Antonio Colin is originally from Mexico and holds a degree in Mechatronics and Automotive Systems from Eindhoven University of Technology.

Thierry Laheij is an Embedded Controls Engineer at Stellantis e-Transmissions in Eindhoven, with more than 13 years of experience in Model Based Design and the Mathworks tools. Prior to Stellantis e-Transmissions he worked initially at Drivetrain Innovations on software development for ‘proof-of-concept’ powertrain systems. After this he worked for Punch Powertrain focused on Clutch Control functions of CVT and DCT projects, and later started specializing himself in embedded software and integration. In this last role he gained a lot of experience in software architecture and interface development, several automotive standards and more specifically AUTOSAR configuration. Besides functionally contributing to the projects, he is also working on company processes and creating associated tools for automation and quality monitoring. Thierry Laheij is from the Netherlands and holds a bachelor’s degree in Automotive Engineering from the HAN University in Arnhem.