Understanding Compliance to the MISRA C 2012 Coding Guidelines

MISRA coding guidelines are widely adopted across various industries as it helps avoid unreliable coding constructs and develop robust and reliable software. The most recent update to the standard – MISRA C 2012 was released back in 2013 and we see a lot of our customers updating to the new coding guidelines. In this webinar, we will cover the changes to the MISRA guidelines and how these changes help to better comply using static analysis tools. 

In this webinar you will see that there are many tools that can help with MISRA compliance, but they are not all equal. You may have tools that report imprecise violations or only offer partial coverage of the standard. For example, Directive 4.1 stipulates that “Run-time failures shall be minimized”. This can only be supported by tools that can detect run time errors. You will learn how the use of deep semantic analysis and abstract interpretation within the Polyspace engine helps cover such directives in addition to detecting violations with better accuracy. 

Furthermore, we will demonstrate how Polyspace provides detailed information, making it easy to review true violations and provide evidence to justify the deviations.  With integration to model based design, the process is further simplified for generated code from Simulink, with the ability to trace the results to the model and add deviations at the model level to reduce maintenance efforts.

About the Presenter

Ram Cherukuri is the Technical Marketing Manager for Polyspace products at MathWorks.  He has a background in Aerospace Engineering and is the Polyspace product expert. In this role, Ram works with leading customers across industries to identify code verification and validation strategies that can be applied to the development of critical embedded systems.  Ram joined the MathWorks in 2010 to help support MathWorks customers deploy Model-Based Design.  He has extensive experience in computational fluid dynamics and mathematical modeling. Ram received his Masters in Aerospace Engineering from Purdue university and have a Bachelor’s degree in Aerospace Engineering from IIT Bombay in India.