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.
Recorded: 16 Aug 2016
Featured Product
Polyspace Bug Finder
Up Next:
Related Videos:
Web サイトの選択
Web サイトを選択すると、翻訳されたコンテンツにアクセスし、地域のイベントやサービスを確認できます。現在の位置情報に基づき、次のサイトの選択を推奨します:
また、以下のリストから Web サイトを選択することもできます。
最適なサイトパフォーマンスの取得方法
中国のサイト (中国語または英語) を選択することで、最適なサイトパフォーマンスが得られます。その他の国の MathWorks のサイトは、お客様の地域からのアクセスが最適化されていません。
南北アメリカ
- América Latina (Español)
- Canada (English)
- United States (English)
ヨーロッパ
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
アジア太平洋地域
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)