Sander De Smalen, ACE
Name: Sander De Smalen
Title: SuperTest, qualification and certification of compilers
Abstract:
C compilers transform billions of lines of code into executable instructions. This process includes advanced and hardware-specific optimizations, where mistakes can lead to safety hazards in deployed products.
Modern-day safety standards place responsibilities with the product manufacturer as well as their suppliers. Standards like ISO-26262 require state-of-the-art technology that matches defined confidence levels through elaborate safety procedures. Compiler certification is a next step in formalization of confidence, which is yet to become a commodity.
This session will sketch a blueprint for compiler qualification and certification using the SuperTest compiler test and validation suite. Back to the agenda