Polyspace and Static Code Analysis

Arnaud Btabeko

Senior Application Engineer, MathWorks

Short Resume of The Presenter

Arnaud Btabeko is a Senior Application Engineer at MathWorks specialised in certification workflows and verification & validation solutions for hand written Code as well as for Autogenerated code from MATLAB & Simulink. Prior to MathWorks he worked in the Automotive industry, involved with Battery management systems design and verification. Furthermore, he worked as Research Engineer at Siemens, involved in the Simulation and Codesign for mechatronics Systems. He now supports MathWorks customers from a range of industries including Aerospace, Automotive and medical in applying Model Based Design solutions for code Generation and Verification workflows to achieve certification with the relevant industry authorities.

Agenda