Respond by excluding the rules you don't like; there's a process for
it.

http://embedded.fm/episodes/99 was very informative; an interview of
Andrei Chichak which concentrated on MISRA-C.  It took away a lot of
this doubt for me.

But I've still not had a project where I'd need to use it.  ;-)

On Sun, Jun 04, 2017 at 10:00:31PM -0400, Sean Breheny wrote:
> Alan,
>=20
> Have you actually written code to comply with MISRA C? I have not but I
> have several software engineer colleagues who recently had to adhere to
> similar rules and they felt strongly that the rules were silly and actual=
ly
> likely to make the code substantially LESS safe and reliable. I am curiou=
s
> if they are missing something. Their criticisms seemed valid to me (for
> example, one of their requirements was that IF statements couldn't use
> logical OR because it meant that when one of the two ORed elements was
> true, the other one counted as a variable which was set but never read -
> due to the short-circuit evaluation)
>=20
> Since the MISRA C standard is not free I have not been able to look at it
> and judge for myself. As I said, also, they were using "similar" rules, n=
ot
> exactly MISRA because they were coding for IEC 61508.
>=20
> Sean
>=20
>=20
> On Sun, Jun 4, 2017 at 1:58 PM, <alan.b.pearce@stfc.ac.uk> wrote:
>=20
> >
> >
> > For this sort of reliability I would be looking at using the MISRA
> > standards for motor vehicle software. If you are not familiar with the
> > MISRA C standard it is a set of do's and don't's when using C to minimi=
se
> > some of the hard to find artefacts of the C language that can be hard t=
o
> > debug. Packages like PCLint have plugins that test for MISRA C conformi=
ty
> >
> >
> >
> --=20
> http://www.piclist.com/techref/piclist PIC/SX FAQ & list archive
> View/change your membership options at
> http://mailman.mit.edu/mailman/listinfo/piclist

--=20
James Cameron
http://quozl.netrek.org/
--=20
http://www.piclist.com/techref/piclist PIC/SX FAQ & list archive
View/change your membership options at
http://mailman.mit.edu/mailman/listinfo/piclist
.