mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Unmasking fault tolerance: Quantifying deterministic recovery dynamics in probabilistic environments
Carl von Ossietzky Universität Oldenburg, Germany.
2014 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

The present book focuses on distributed systems operating under probabilistic influences like faults. How well can such systems provide their service under the effects of faults? How well can they recover from faults? Along with a thorough introduction into the area of fault tolerance, this book introduces a measure called limiting window availability to answer such questions. Furthermore, a method for computing the limiting window availability based on constructing the transition models from the system and environment models is developed. The method yet hinges on the transition model being exponential in the size of the constituting system models. This effect is commonly known as state space explosion. Combining decomposition and lumping — methods for reducing the state space from the domain of model checking — yet allows to dampen the state space explosion, thus enhancing the spectrum of systems that are tractable for an analysis significantly.

Place, publisher, year, edition, pages
2014.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-30504OAI: oai:DiVA.org:mdh-30504DiVA: diva2:886286
Projects
TOCSYC - Testing of Critical System Characteristics (KKS)
Available from: 2016-01-14 Created: 2015-12-21 Last updated: 2016-01-14Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Müllner, Nils
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Total: 16 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf