[SystemSafety] Paper on Software Reliability and the Urn Model

Peter Bernard Ladkin ladkin at rvs.uni-bielefeld.de
Wed Feb 25 13:20:38 CET 2015


On 2015-02-25 12:27 , Derek M Jones wrote:
> A model that does not reflect reality is one good reason for not liking
> the urn model.

You might as well say that a Turing machine doesn't "reflect reality". But if you can map your
computational behavior onto some Turing machine, you're in good shape, because both the math and the
programming are well understood.

Similarly, the urn model is a state machine. If you can map your problem onto it, you're in good
shape, because the 302 year old math is well understood. Some SW - not all, but some - can be so mapped.

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






More information about the systemsafety mailing list