Keil Logo

MISRA Checking & Code Metrics Computation in Keil

North America — Feb 24, 2021

Click Here for More Information...

The presentation starts with giving a comparative overview of widely used coding guidelines,
in particular MISRA C, SEI CERT C, Adaptive Autosar C++ Guidelines, and MISRA C++. We describe
the motivation for using coding guidelines and outline the related verification goals of safety
norms such as ISO 26262 and DO-178C. We will also discuss the link between safety and security
requirements within coding guidelines. MISRA rules are categorized as decidable or undecidable
rules; we will explain the theoretical background of this complexity classification and describe
the practical effect on rule checking. We will then give an overview of the AbsInt RuleChecker
and its integration in the Keil uVision IDE and give a live demonstration of tool and workflow.


  • Overview of coding guidelines: MISRA C/C++, SEI CERT C/C++, Adaptive Autosar C++, …
  • Relation to safety norms, e.g., ISO 26262 and DO-178C
  • Safety vs. Security in Coding Guidelines
  • Decidable vs. Undecidable Rules
  • AbsInt RuleChecker Integration into Keil uVision
  • Tool & Workflow Demonstration
  • Q & A

Duration: 1 hour

Date: Wednesday, February 24, 2021 @ 11:00 AM Eastern Time EST, 8:00 AM Pacific Time

Host: Robert Campbell, Joral Technologies

Presented by: AbsInt Dr.-Ing. Daniel Kaestner.Curriculum vitæ

Register now for this FREE WEBINAR – email

NOTE: We have material to send you before the meeting, please send us an email promptly.

Contact us at or 1-877-380-3366, ext 103



Workshop:   MISRA Checking & Code Metrics Computation in Keil
Date:   Feb 24, 2021
Location:   North America
Address:   4322 Donnelly Road
Ottawa, Ontario
K0G 1J0
Registration:   Register to attend this workshop.

  Arm logo
Important information

This site uses cookies to store information on your computer. By continuing to use our site, you consent to our cookies.

Change Settings

Privacy Policy Update

Arm’s Privacy Policy has been updated. By continuing to use our site, you consent to Arm’s Privacy Policy. Please review our Privacy Policy to learn more about our collection, use and transfers
of your data.