<div dir="ltr">Spot on Hugues.  It could have been asked that if a comet hit the thing that had contained the hardware that ran the software (....that flipped a bit or two (!)....) does that make the software 'unreliable' then....? Doh!  Too many times the argument over the 'reliability' of software comes down to the reliability of hardware or the inability of humans to understand the environment in which they put the software and defend against foreseeable issues (like bit flips).<div><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><span></span><span></span>Nick Tudor<div>Tudor Associates Ltd</div><div>Mobile: +44(0)7412 074654</div><div><a href="http://www.tudorassoc.com" target="_blank">www.tudorassoc.com</a></div><div><img src="http://www.tudorassoc.com/wpimages/wpb4e71a5c_0f.jpg" width="200" height="40"></div><div><font color="#00144d" face="Arial, Helvetica, sans-serif" size="1"><b><br></b></font></div><div><span style="color:rgb(0,20,77);font-family:Arial,Helvetica,sans-serif"><font size="1"><b><span></span><span></span>77 Barnards Green Road</b></font></span></div><div><span style="color:rgb(0,20,77);font-family:Arial,Helvetica,sans-serif"><font size="1"><b>Malvern</b></font></span></div><div><span style="color:rgb(0,20,77);font-family:Arial,Helvetica,sans-serif"><font size="1"><b>Worcestershire</b></font></span></div><div><span style="color:rgb(0,20,77);font-family:Arial,Helvetica,sans-serif"><font size="1"><b>WR14 3LR</b><strong><br>Company No. 07642673</strong></font></span></div><div><span style="color:rgb(0,20,77);font-family:Arial,Helvetica,sans-serif"><font size="1"><strong>VAT No:116495996</strong></font></span></div><div><span style="color:rgb(0,20,77);font-family:Arial,Helvetica,sans-serif"><font size="1"><strong><br></strong></font></span></div><div><strong style="color:rgb(0,20,77);font-family:Arial,Helvetica,sans-serif;font-size:x-small"><a href="http://www.aeronautique-associates.com" target="_blank">www.aeronautique-associates.com</a></strong>
</div></div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 16 Sep 2020 at 07:10, Hugues Bonnin <<a href="mailto:hugues.bonnin@free.fr">hugues.bonnin@free.fr</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Derek,<br>
<br>
You do not mention cause of software unreliability, but of the hardware which executes it.<br>
My question is on software reliability.<br>
<br>
Regards<br>
<br>
Hugues <br>
<br>
<br>
<br>
> Le 16 sept. 2020 à 03:05, Derek M Jones <<a href="mailto:derek@knosof.co.uk" target="_blank">derek@knosof.co.uk</a>> a écrit :<br>
> <br>
> Hugues<br>
>> if A then<br>
>>   do_nothing<br>
>> else<br>
>>   fail --potentially hurt and kill people<br>
>> end if<br>
>> end<br>
>> The specification of the software is to do nothing;<br>
>> NB: I'm not asking if it is the best implementation, whatever the criteria are, but just : "is it reliable?"<br>
> <br>
> The "if A then"<br>
> could be unreliable, in that a cosmic ray could flip its value.<br>
> <br>
> There are research compilers that reduce the likelihood of a<br>
> cosmic ray altering the behavior of a program:<br>
> <a href="http://shape-of-code.coding-guidelines.com/2011/11/07/compiling-to-reduce-the-impact-of-soft-errors-on-program-output/" rel="noreferrer" target="_blank">http://shape-of-code.coding-guidelines.com/2011/11/07/compiling-to-reduce-the-impact-of-soft-errors-on-program-output/</a><br>
> <br>
> Circa 2011, 1-bit of a 4GB RAM had its value flipped roughly every 33<br>
> hours as a result of a cosmic ray hitting the upper atmosphere.<br>
> <br>
>> regards,<br>
>> Hugues<br>
>> ----- Mail original -----<br>
>>> De: "Peter Bernard Ladkin" <<a href="mailto:ladkin@causalis.com" target="_blank">ladkin@causalis.com</a>><br>
>>> À: <a href="mailto:systemsafety@lists.techfak.uni-bielefeld.de" target="_blank">systemsafety@lists.techfak.uni-bielefeld.de</a><br>
>>> Envoyé: Mardi 15 Septembre 2020 19:58:45<br>
>>> Objet: Re: [SystemSafety] What do we know about software reliability?<br>
>>> <br>
>>> Bev and I and Dewi have a colleague who poses the following question.<br>
>>> <br>
>>> "We have clients who have installed hundreds of [examples of our kit]<br>
>>> over the last ten years, and<br>
>>> have never seen any failure. They want to use it in further systems<br>
>>> that they build. What arguments<br>
>>> do we/they need to provide in order validly to justify such further<br>
>>> use?"<br>
>>> <br>
>>> So, what is the answer to that question?<br>
>>> <br>
>>> PBL<br>
>>> <br>
>>> Prof. Peter Bernard Ladkin, Bielefeld, Germany<br>
>>> Styelfy Bleibgsnd<br>
>>> Tel+msg +49 (0)521 880 7319  <a href="http://www.rvs-bi.de" rel="noreferrer" target="_blank">www.rvs-bi.de</a><br>
>>> <br>
>>> <br>
>>> <br>
>>> <br>
>>> <br>
>>> <br>
>>> _______________________________________________<br>
>>> The System Safety Mailing List<br>
>>> <a href="mailto:systemsafety@TechFak.Uni-Bielefeld.DE" target="_blank">systemsafety@TechFak.Uni-Bielefeld.DE</a><br>
>>> Manage your subscription:<br>
>>> <a href="https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety" rel="noreferrer" target="_blank">https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety</a><br>
>> _______________________________________________<br>
>> The System Safety Mailing List<br>
>> <a href="mailto:systemsafety@TechFak.Uni-Bielefeld.DE" target="_blank">systemsafety@TechFak.Uni-Bielefeld.DE</a><br>
>> Manage your subscription: <a href="https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety" rel="noreferrer" target="_blank">https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety</a><br>
> <br>
> -- <br>
> Derek M. Jones           Evidence-based software engineering<br>
> tel: +44 (0)1252 520667  blog:<a href="http://shape-of-code.coding-guidelines.com" rel="noreferrer" target="_blank">shape-of-code.coding-guidelines.com</a><br>
> _______________________________________________<br>
> The System Safety Mailing List<br>
> <a href="mailto:systemsafety@TechFak.Uni-Bielefeld.DE" target="_blank">systemsafety@TechFak.Uni-Bielefeld.DE</a><br>
> Manage your subscription: <a href="https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety" rel="noreferrer" target="_blank">https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety</a><br>
<br>
_______________________________________________<br>
The System Safety Mailing List<br>
<a href="mailto:systemsafety@TechFak.Uni-Bielefeld.DE" target="_blank">systemsafety@TechFak.Uni-Bielefeld.DE</a><br>
Manage your subscription: <a href="https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety" rel="noreferrer" target="_blank">https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety</a></blockquote></div>