Language Subsetting and Compiler Qualification in the Development of Software for Safety-Critical Systems

Thursday, September 17th, 2020

11:00-12:00 CEST (UTC+2)

Development of critical system’s software in compliance with functional safety standards (such as DO-178C and ISO 26262) is challenging. The development of such software in C can save time and money provided two crucial aspects are properly taken into account: language subsetting and compiler qualification. Proper language subsetting (for instance, by strict adherence to MISRA C:2012 plus further restrictions, e.g., in the use of floating-point numbers) is crucial to avoid non-determinism, recursion, dynamic memory allocation and other unsafe language features. Proper compiler qualification is crucial to build confidence on the fact that program properties at the source code level are preserved at the compiled object code level. In this webinar we will discuss how these aspects fit into the main functional safety standards. We will then highlight the synergy between language subsetting and compiler qualification in achieving the objectives of such standards.

For this very special webinar we are glad to host Marcel Beemster, a 25+ years professional of compiler technology with a PhD in Computer Science from the University of Amsterdam. Marcel is co-founder and CTO of Solid Sands B.V.

View recording