Rolland Dudemaine

Rolland Dudemaine, current Director of Field Engineering at TrustInSoft, brings over 20 years of experience with previous roles at eSOL and Green Hills. Dudemaine has extensive experience with embedded systems notably in the automotive software sector.

---

Presentation

Formal methods: game-changer in ensuring automotive software safety and security

The presentation will show how, through automating the use of formal methods via abstract interpretation among other techniques, enterprises can alleviate the tester burden, reduce iterations generated by penetration, fuzzing and unit testing, and allow developers to focus on high-value tasks. This unique approach, which combines static and dynamic analysis, was recommended by NIST (NIST.IT.8151) and the White House's ONCD, and has the additional powerful advantage that it yields no false negatives. This means a guaranteed absence of undefined behaviors like buffer overflows. We will further demonstrate how developers can comprehensively verify software properties and produce critical-bug-free code, ensuring memory safety.