Re: [SystemSafety] Modelling and coding guidelines: "Unambiguous Graphical Representation"

From: Peter Bernard Ladkin < >
Date: Sat, 27 Feb 2016 10:38:52 +0100

On 2016-02-27 10:11 , Steve Tockey wrote:
> ....In a computer, nothing is truly random.

I'm sorry, I don't buy any of that.

First, if what you want to do is predict or verify the behavior of a computer on a given set of inputs, then pseudo-non-deterministic behavior is operationally equivalent to (real) non-deterministic behavior and has the same (dis)advantages for V&V.

Second, I don't see why attaching a physically-random oracle to a digital computer, as some people who need genuinely random values do, makes it any less a digital computer.

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 Sat Feb 27 2016 - 10:39:00 CET

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