Jump to content

MISRA C

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Dwlegg (talk | contribs) at 12:28, 22 April 2009 (→‎MISRA C Tool Vendors: Re-order list and correct PolySpace, which is not a too vendor - nwo Mathworks.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

MISRA C is a software development standard for the C programming language developed by MISRA (Motor Industry Software Reliability Association). Its aims are to facilitate code safety, portability and reliability in the context of embedded systems, specifically those systems programmed in ISO C. There is also a set of guidelines for MISRA C++.

The first edition of the MISRA C standard, "Guidelines for the use of the C language in vehicle based software", was produced in 1998, and is officially known as MISRA-C:1998.[1]

In 2004, a second edition "Guidelines for the use of the C language in critical systems", or MISRA-C:2004 was produced, with many substantial changes to the guidelines, including a complete renumbering of the rules.

Work has just started on the next revision of the guidelines, which are intended to address use of C99.

The MISRA C guideline documents are not free to users or implementors.[2]

Rules

MISRA-C:1998 had 127 rules, of which 93 were required and 34 were advisory; the rules were numbered in sequence from 1 to 127.

The MISRA-C:2004 document contains 141 rules, of which 121 are "required" and 20 are "advisory"; they are divided into 21 topical categories, from "Environment" to "Run-time failures".

Tools

While there exist many software tools that claim to check code for "MISRA conformance", there is no MISRA certification process.[3]

An Exemplar Suite for MISRA-C:2004 is available from the MISRA Forum, which allows tool users to evaluate and compare the checking support provided by the various MISRA tools. Additionally, it gives tool implementors some guidance as to the intent of the Rules within MISRA-C:2004.

Most of the guidelines can be checked using tools that perform static code analysis. The remaining guidelines require the use of dynamic code analysis.

MISRA C Tool Vendors

The following is an incomplete list of tool vendors claiming to check one or more of the MISRA C guidelines.

MISRA C Committee

The current MISRA C committee has the following members:

Former members:

The project management, publication and distribution have been handled by David Ward, MIRA Ltd.

References

  1. ^ intro
  2. ^ "Buying MISRA C"
  3. ^ faqs
Retrieved from "https://en.wikipedia.org/w/index.php?title=MISRA_C&oldid=285433355"