[SystemSafety] New paper on MISRA C
Derek M Jones
derek at knosof.co.uk
Wed Sep 12 14:17:43 CEST 2018
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
More information about the systemsafety
mailing list