[SystemSafety] Software reliability (or whatever you would prefer to call it)

[RICQUE Bertrand (SAGEM DEFENSE SECURITE)]

Apparently, the problem is not to talk about it or not. The problem seems to be to able to apply it to software independently from hardware.

Bertrand Ricque
Program Manager
Optronics and Defence Division
Sights Program
Mob : +33 6 87 47 84 64
Tel : +33 1 58 11 96 82
Bertrand.ricque at sagem.com

From: systemsafety-bounces at lists.techfak.uni-bielefeld.de [mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of Yiannis I Papadopoulos
Sent: Tuesday, March 10, 2015 11:38 AM
To: Nick Tudor
Cc: systemsafety at lists.techfak.uni-bielefeld.de
Subject: Re: [SystemSafety] Software reliability (or whatever you would prefer to call it)

" Software essentially boils down to a string of one's and nought's. Given the same inputs (and that always comes from the chaotic environment) then the output will always be the same.  It therefore makes no sense to talk about 'software reliability' "

The premise is true but does the conclusion follow?

Take the example of throwing a dice.

If you know everything about the dice and its environment and apply the laws of physics you can determine the outcome. You can be god, replicate the exact conditions and you will get the same outcome every time (... no Heisenberg please ... if quantum mechanics introduced any real randomness in the world as we know it, we would be in real trouble :)

So, what is the purpose then of talking about randomness,  probability and statistics to describe such phenomena? I think the answer is that it is often the best, sometimes the only way, to reason about complex deterministic processes. It is done all the time in science, why not in software?

--
Yiannis Papadopoulos
http://www2.hull.ac.uk/science/computer_science/our_staff/staff_profiles/yiannis_papadopoulos.aspx

#
" Ce courriel et les documents qui lui sont joints peuvent contenir des informations confidentielles, être soumis aux règlementations relatives au contrôle des exportations ou ayant un caractère privé. S'ils ne vous sont pas destinés, nous vous signalons qu'il est strictement interdit de les divulguer, de les reproduire ou d'en utiliser de quelque manière que ce soit le contenu. Toute exportation ou réexportation non autorisée est interdite Si ce message vous a été transmis par erreur, merci d'en informer l'expéditeur et de supprimer immédiatement de votre système informatique ce courriel ainsi que tous les documents qui y sont attachés."
******
" This e-mail and any attached documents may contain confidential or proprietary information and may be subject to export control laws and regulations. If you are not the intended recipient, you are notified that any dissemination, copying of this e-mail and any attachments thereto or use of their contents by any means whatsoever is strictly prohibited. Unauthorized export or re-export is prohibited. If you have received this e-mail in error, please advise the sender immediately and delete this e-mail and all attached documents from your computer system."
#
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20150310/879a8bf0/attachment-0001.html>