Abstracting from failure probabilities
Jan Jürjens · 2002
In fault-tolerant computing, dependability of systems is usually demonstrated by abstracting from failure probabilities(under simplifying assumptions on failure occurrences). In the specification framework FOCUS, we show underwhich conditions and to which extent this is sound: We use a specification language that is interpreted in the usual ab-stract model and in a probabilistic model. We give probability bounds showing the degree of faithfulness of the abstractmodel wrt. the probabilistic one. These include cases where the usual assumptions are not fulfilled.