Abstracting from Failure Probabilities

DMCA

Abstracting from Failure Probabilities (2000)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Jan Jürjens

Citations:

1 - 1 self

BibTeX

@MISC{Jürjens00abstractingfrom,
    author = {Jan Jürjens},
    title = {Abstracting from Failure Probabilities},
    year = {2000}
}

OpenURL

Abstract

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 under which conditions and to which extent this is sound: We use a specification language that is interpreted in the usual abstract model and in a probabilistic model. We give probability bounds showing the degree of faithfulness of the abstract model wrt. the probabilistic one. These include cases where the usual assumptions are not fulfilled.

Keyphrases

failure probability abstract model wrt usual assumption probabilistic model usual abstract model probabilistic one probability bound specification framework focus fault-tolerant computing specification language failure occurrence

DMCA