[SystemSafety] New paper on MISRA C

[Derek M Jones]

Paul,

>>> As I understand it MIT and others have successfully debunked the 
>>> notion that system safety is correlated with component reliability.
>>
>> Can you point me at the references for this assertion?
> 
> The first section of Nancy Leveson's Engineering a Safer World ([1] is 
> draft, but the final published work is not materially different) 

Grrr, the pdf does not support cut-and-paste.  Otherwise a book
well worth reading.

Modulo transcription mistakes (section 2.1):
"Safety and reliability are different properties.  One does not imply
or require the other:  A system can be reliable and unsafe.  It can also
be safe but unreliable."

I read this (and subsequent material) as saying that the correlation
is not 100% (and some people think it is).

I would certainly agree that it is not 100%.  But is it 50%, 25%?
I don't think it is 0%.

Does anybody have suggested numbers for the correlation?


-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com