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.

Agenda:

• 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 angie.pemberton@joraltechnologies.com

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

Questions?
Contact us at angie.pemberton@joraltechnologies.com or 1-877-380-3366, ext 103