[SystemSafety] Does "reliable" mean "safe" and or "secure" or neither?

[Peter Bernard Ladkin]

>  [GBuday] That's an  ideal sw that gives the same output on the same input, but that is not always
> the case.
>
>  [MPont] Can you share an example of this?
>
> [GB] It computes different values when e.g. the  timing of concurrent processes are different,
> but the input is the same.

On 2016-04-24 19:53 , Andy Ashworth wrote:
> While the external inputs may be the same, the internal state of the software will be different.

That does not follow. Byzantine failures, say SoS phenomena, enable different outcomes on the same
inputs even when the internal state of each SW component starts out the same.

PBL

Prof. Peter Bernard Ladkin, Faculty of Technology, University of Bielefeld, 33594 Bielefeld, Germany
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs.uni-bielefeld.de





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 455 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20160425/3a6266d5/attachment.pgp>