• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

DMCA

Abstracting from Failure Probabilities (2000)

Cached

  • Download as a PDF

Download Links

  • [web.comlab.ox.ac.uk]
  • [www4.in.tum.de]
  • [www4.in.tum.de]
  • [wwwbroy.informatik.tu-muenchen.de]
  • [www4.informatik.tu-muenchen.de]
  • [www4.in.tum.de]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Jan Jürjens
Citations:1 - 1 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

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

Share

Facebook Twitter Reddit Bibsonomy

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   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University