STATIC ANALYSIS TOOLS FOR MISRA C AND C++


Comprehensive compliance enforcement of coding guidelines

MISRA C and MISRA C++

 

The MISRA C and MISRA C++ coding guidelines for use in safety critical systems are published by the Motor Industry Software Reliability Association. The MISRA C standard has three editions: 1998, 2004 and 2012.  The MISRA C++ standard was published in 2008.

 

Since their original use in the automotive industry, they have been accepted worldwide, as the benchmark for C and C++ coding standards across all safety sectors where safety, quality or reliability are issues of concern.

 

The following software safety development standards all have requirements for the use of coding standards such as MISRA and their automated enforcement:

  • ISO 26262 (Automotive)
  • IEC 61508 (Industrial)
  • IEC 62304 (Medical devices)
  • EN 50128 (Railways)
  • IEC 60880 (Nuclear energy)
QA-MISRA Compliance modules covers - guidelines - MISRA C:1998 - MISRA C:2004 - MISRA C:2012 - MISRA C++ - codinf rules for the C and C++ languages

Static analysis tools for compliance with MISRA coding guidelines

 

 

QA Systems enables organisations to accelerate MISRA compliance with automated static testing tools:

Tool Certification

SGS TUEV Saar Logo - Functional Safety approved - certified

QA-C with MISRA C and QA-C++ with MISRA C++ extended, have been classified and certified by SGS-TÜV GmbH, an independent third party certification body for functional safety, accredited by Deutsche Akkreditierungsstelle GmbH (DAkkS). Each tool has been classified with the highest Tool Confidence Level, and are usable in development of safety related software to the highest integrity level for each of the certified standards.

 

Please contact us for more information about tool certification kits.

PRQA Certificate Version 8.2.2/ Version 3.2.2 - QA-C with MISRA C - QA-C++ with MISRA C++ - SGS TUEV Saar - Programming Research Ltd

 QA-C/QA-C++ Certificate

Start
Trial
QA-Systems