[SystemSafety] What do we know about software reliability?

[hugues.bonnin at free.fr]

Hi all,

I have an alternative "toy" to propose: do you think that this software is reliable (written in ada-like code)?

begin

if A then 
  do_nothing 
else
  fail --potentially hurt and kill people
end if

end

The specification of the software is to do nothing; 
NB: I'm not asking if it is the best implementation, whatever the criteria are, but just : "is it reliable?"

regards,

Hugues


----- Mail original -----
> De: "Peter Bernard Ladkin" <ladkin at causalis.com>
> À: systemsafety at lists.techfak.uni-bielefeld.de
> Envoyé: Mardi 15 Septembre 2020 19:58:45
> Objet: Re: [SystemSafety] What do we know about software reliability?
> 
> Bev and I and Dewi have a colleague who poses the following question.
> 
> "We have clients who have installed hundreds of [examples of our kit]
> over the last ten years, and
> have never seen any failure. They want to use it in further systems
> that they build. What arguments
> do we/they need to provide in order validly to justify such further
> use?"
> 
> So, what is the answer to that question?
> 
> PBL
> 
> Prof. Peter Bernard Ladkin, Bielefeld, Germany
> Styelfy Bleibgsnd
> Tel+msg +49 (0)521 880 7319  www.rvs-bi.de
> 
> 
> 
> 
> 
> 
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription:
> https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety