QP/C  7.0.0
Real-Time Embedded Framework
MISRA-C:2012 Compliance

Modules

 Guideline Enforcement Plan (GEP)
 
 Guideline Compliance Summary (GCS)
 
 Deviations in QP/C Source Code
 
 Deviations in Application Code
 

Detailed Description

This document is part of the QP Certification Pack, which has been specifically designed to aid companies in safety certification of their software based on the QP real-time embedded frameworks.

NOTE: This is just a preview. The complete QP Certification Pack can be requested from Quantum Leaps.


Introduction

This report describes the compliance of the QP/C Real-Time Embedded Framework as well as the Application code based on this framework with the Motor Industry Software Reliability Association (MISRA) Guidelines for the use of the C Language in Critical Systems [MISRA3], [MISRA3-A1], [MISRA3-A2]. This description is designed to be applicable to safety-related real-time embedded systems.

About MISRA-C 2012

MISRA C was originally developed to fulfill the need for a “restricted subset of a standardized programming language” identified in the 1994 “Development guidelines for vehicle based software” and against the background of the emerging use of C for developing embedded software in automotive applications.

Once MISRA C was published its relevance to other applications was quickly noted and subsequent revisions of the document have involved a number of experts from different industries and from tool vendors.

MISRA-C:2012, MISRA-C:2012-Amendment 1 and MISRA-C:2012-Amendment 2

Today MISRA C is the de facto standard for developing software in C where safety, security and code quality are important. Future developments of MISRA C will continue to extend support for newer versions of the language, and additional language features.

Note
"MISRA", "MISRA C" and the triangle logo are registered trademarks of MIRA Limited, held on behalf of the MISRA Consortium.

References

[MISRA3]       MISRA C:2012 Guidelines for the use of the C language in critical systems (3rd Edition, 1st Revision),
ISBN 978-1-906400-21-7 (paperback), ISBN 978-1-906400-22-4 (PDF), MIRA Limited, February 2019
[MISRA3-A1] MISRA C:2012 Amendment 1 (MISRA C:2012 AMD1) "Additional security guidelines for MISRA C:2012", MIRA Limited, April 2016.
[MISRA3-A2] MISRA C:2012 Amendment 2 (MISRA C:2012 AMD2) "Updates for ISO/IEC 9899:2011 Core functionality", MIRA Limited, February 2020
[MISRA3-Corr] MISRA C:2012 Technical Corrigendum 1, Technical clarification of MISRA C:2012,
ISBN 978-1-906400-17-0 (PDF), MIRA Limited, June 2017
[MISRA3-Comp] MISRA Compliance:2020 Achieving compliance with MISRA Coding Guidelines,
ISBN 978-1-906400-11-8 (PDF), MIRA Limited, February 2020
[PCLP] PC-lint® Plus™ Version 1.4.1, A diagnostic facility for C and C++,
Gimpel Software LLC https://www.gimpel.com, April 2021
[PCLP-Cert] Using PC-lint Plus in Safety Critical Applications,
Gimpel Software LLC https://www.gimpel.com
[PSiCC2] Practical UML Statecharts in C/C++, 2nd Edition, Event-Driven Programming for Embedded Systems,
Miro Samek, ISBN 978-0750687065, Newnes 2008 (https://www.state-machine.com/psicc2)