Insights 2020 webinar series by Menlopark
The Essential Type Model of MISRA C:2012

TOPIC DESCRIPTION:

The "essential type model" is one of the major developments of MISRA C:2012 over previous versions of MISRA C. The model supports a type system that is stronger than ISO C native type system. This allows stronger type-checking via dedicated MISRA C guidelines that control the use of implicit and explicit type conversions, promote portable coding practices, and addresses some of the type conversion anomalies of ISO C.

In this webinar, we will present the essential type model and we will review some of the guidelines of MISRA C:2012 that are based on the model.

The companion webinar "Implicit Conversions in C: The Hidden Enemy" is recommended in order to fully appreciate the value of the essential type model and of the associated guidelines.