MISRA C tooling and support at Oakwood Computing Associates Limited

MISRA C checking:

If you are alarmed by expensive quotations for something as basic as MISRA C 1998 and 2004 checking, then look no further than the Safer C toolset (TM). Most tool vendors charge you extra but we don't.

The Safer C toolset has the latest MISRA C support built directly into SCT Inspector at no extra expense to help you prepare for upcoming SAE recommendations. Building on Safer C's unique FIPS160 enforced adherence to ISO C (the fundamental basis of both MISRA C 1998 and 2004), this includes the ability to check MISRA C rules individually or in various combinations of required and advisory, as well as a highly sophisticated deviation policy support component which allows an organisation to deviate rules on an individual basis. (The deviation policy of MISRA C is particularly important in using the guidelines in practice both to smooth acceptance and to handle rules which remain ambiguously worded at the present time.)

MISRA C education:

Through our MISRA C course, we continue to assist developers around the world to understand and employ this important set of guidelines. We also contribute technical papers on this subject to peer-reviewed journals Safer Language Subsets: an overview and a case history, MISRA C

Research into MISRA C and safer subsets:

Oakwood Computing Associates continues to devote considerable resources to the development and propagation of the MISRA C guidelines. Staff members contributed to the translation and explanation of the original MISRA C document for the Society of Automotive Engineers of Japan and continue to serve on the MISRA C steering committee which has recently released the 2004 version of its guidelines.

MISRA C exemplary test suite:

In addition, we continue to be involved with the development of an exemplary test suite for MISRA C in conjunction with the steering committee. It is hoped that this test suite will mature eventually into a formal MISRA C validation suite when the existing wording is clarified in some of the rules.

 

 

Oakwood Computing Associates Ltd, U.K.

www.oakcomp.co.uk

Fax: +44 (0)208-336-1151
Electronic mail contact


Last revised $Date: 2005/02/07 13:43:25 $