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

From: Peter Bernard Ladkin < >
Date: Mon, 25 Apr 2016 06:27:25 +0200


> [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



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Mon Apr 25 2016 - 06:37:26 CEST

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:08 CEST