Francois Berjonneau
Senior Solution Engineer QA, Qt Group
Francois Berjonneau has a degree in technical computer science from the National Conservatory of Arts and Crafts of Engineering and IT Integration: Information System and is a Senior Solution Engineer QA at the Qt Group. As part of the company’s Quality Assurance offering, he conducts workshops for existing and prospective customers interested in static code analysis. He has a longstanding track record as consultant in embedded software in different areas, and mainly in software development in safety context in the automotive domain.
Topic
MISRA C++ 2023 Guidelines Undecidability
The MISRA guidelines are widely used rules for creating safe C and C++ applications. They include a range of rules, from those focused-on syntax to those about more complex semantic properties. Static checks on semantic properties of programming languages are complex, resource intensive, and are, by their nature “undecidable”. Those undecidable rules lead to a number of problematic practical consequences for the developers and the quality assurance. In order to make the results of the checks useful, you have to successfully understand and manage appropriately the “undecidability”.
