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

[Peter Bernard Ladkin]

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





-------------- 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/20160227/424f1a28/attachment-0001.pgp>