MISRA-C

C remains the programming language of choice for many small embedded systems. The nature of the language and the freedoms it permits demands that it is used with great care in safety-related situations. In April 1998, the Motor Industry Software Reliability Association (MISRA) published "Guidelines for the use of the C language in vehicle based software", which defined a less error-prone approach to using C codified in 127 rules. Sponsored by the motor industry, MISRA-C is widely respected elsewhere, and is an excellent choice for the development of smaller, safety-related systems. Praxis High Integrity Systems have unparalleled experience of developing secure language subsets with tool support and we were pleased to be active participants in the definition of MISRA-C.

MISRA-C at SIL4? Perspectives and Alternatives

Dr Rod Chapman of Praxis High Integrity Systems gave a briefing as part of the SAE Embedded Software Presentation Series entitled "MISRA-C at SIL4? Perspectives and Alternatives". PDF of the briefing slides is available here.

March 2004: This briefing seems to have generated a fair amount of debate. Please remember that these slides were written and presented in September 2002, long before the current draft of MISRA-C v2 was prepared. If you have any comments or questions about this material, please contact us.

ASSENT/MISRA-C

If you came here looking for information about the ASSENT/MISRA-C tool, please see TCS's ASSENT website.