免费领取大会全套PPT    

点击领取

我要参会

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”.