<div dir="ltr">Thiery - you are bang on with your comments re Ariane and all the points re software exhibiting a failure rate of 1 (or zero...if it had not encountered such out of range inputs).  My colleague was on the Board of Inquiry (the only Brit) so I am very sure that this was a system issue and not a software 'reliability' issue.  The environment can stimulate the system and it's software in unexpected ways; Ariane V being just such a case.  Of course, this was a human error and is the kind of thing that makes software look like it has a 'reliability'.  <div><br></div><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 Tue, 15 Sep 2020 at 11:28, Peter Bernard Ladkin <<a href="mailto:ladkin@causalis.com">ladkin@causalis.com</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"><br>
<br>
On 2020-09-15 11:21 , Coq, Thierry wrote:<br>
> ...Ariane A501 flight has disproved any probabilistic approach on software that would not<br>
> start with a frequency of failure of 1. <br>
<br>
I have no idea what this sentence means.<br>
<br>
I think everybody would agree that the environmental circumstances leading to failure of the Ariane<br>
FLight 501 control system were certain to arise during launch. I don't see what probability has to<br>
do with it.<br>
<br>
Whatever people's inclinations to statistical evaluations of SW, we are about to be deluged by it.<br>
The DLNN assistance functions in the automation of road vehicles can at present only be justified by<br>
an assessment of their in-service behaviour. There are going to be numerical requirements on their<br>
dependability and vendors will be providing argument that those numerical requirements are fulfilled.<br>
<br>
The statisticians know well how much evidence has to be produced in order to derive conclusions on<br>
reliability to an appropriate level of confidence. (See, for example, Peter Bishop's comment here on<br>
the Tempe accident.) It is a lot higher than what, as far as I can tell, the vendors of such<br>
equipment are likely be able to produce. What's going to happen?<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>
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>