The Essential Type Model of MISRA C:2012

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.