MISRA C makes SW "robust" against compiler failures

Questions and discussions about MISRA not specific to a particular publication

Moderator: david ward

andream
Posts: 11
Joined: Tue Apr 23, 2013 9:59 am
Company: INTECS
Contact:

MISRA C makes SW "robust" against compiler failures

Postby andream » Wed Dec 05, 2018 5:04 pm

As known, EN 50128:2011 standard asks for evidence that a tool failure might not impact the software safety. In particular, emphasis is placed upon tools that might generate outputs which can directly or indirectly contribute to the executable code (including data) of the safety-related system. Therefore compilers are the first to be assessed in this respect. In case of C language, regardless if certain evidence is available of a compiler full conformance with ISO/IEC 9899:1999 (C99) standard, I was wondering if, at least based on gathered experience, the source code full compliance with MISRA C:2012 makes the source code itself more "robust" against possible residual failures of the compiler. In other words, if it can be said that upon fully complying with MISRA C:2012, the largest part of current compilers does not exhibit failures.

dg1980
Posts: 108
Joined: Wed Apr 27, 2016 2:33 pm
Company: Elektrobit Automotive GmbH

Re: MISRA C makes SW "robust" against compiler failures

Postby dg1980 » Wed Dec 05, 2018 6:52 pm


Francois
Posts: 9
Joined: Thu Jul 13, 2017 2:22 pm
Company: TE CONNECTIVITY

Re: MISRA C makes SW "robust" against compiler failures

Postby Francois » Thu Dec 06, 2018 8:12 am


misra-c
Posts: 547
Joined: Thu Jan 05, 2006 1:11 pm

Re: MISRA C makes SW "robust" against compiler failures

Postby misra-c » Wed Jun 12, 2019 8:23 am

MISRA C:2012 contains a disclaimer "Adherence to the requirements of this document does not in itself ensure error-free robust software or guarantee portability or reuse".

The guidelines of MISRA C are intended to define a subset of the C language in which the opportunity to make mistakes is either removed or reduced.

However, even fully compliant MISRA C code can not protect you against compiler failures.
---
Posted by and on behalf of
the MISRA C Working Group


Return to “General Questions”

Who is online

Users browsing this forum: No registered users and 1 guest