Re: [SystemSafety] Paper on Software Reliability and the Urn Model

From: Peter Bernard Ladkin < >
Date: Wed, 25 Feb 2015 13:20:38 +0100

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

The System Safety Mailing List
systemsafety_at_xxxxxx Received on Wed Feb 25 2015 - 13:20:51 CET

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