[SystemSafety] A Critical-System Assurance Manifesto

[Peter Bernard Ladkin]

On 2017-12-11 17:08 , Peter Bishop wrote:
> I think in this case the Bernoulli model is not concerned with
> detecting faults/fixing, but about estimating the likelihood that you
> will not hit a defective region in the input space (which could in
> principle be the aggregate of many faults).

Exactly so.

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany
MoreInCommon
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171211/43dbc50c/attachment.sig>