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
Combining decomposition and reduction for state space analysis of a self-stabilizing system
Carl von Ossietzky Universität Oldenburg, Oldenburg, Germany.
Carl von Ossietzky Universität Oldenburg, Oldenburg, Germany.
Carl von Ossietzky Universität Oldenburg, Oldenburg, Germany.
2013 (English)In: Journal of computer and system sciences (Print), ISSN 0022-0000, E-ISSN 1090-2724, Vol. 79, no 7, 1113-1125 p.Article in journal (Refereed) Published
Abstract [en]

Fault tolerance measures of distributed systems can be calculated precisely by state space analysis of the Markov chain corresponding to the product of the system components. The power of such an approach is inherently confined by the state space explosion, i.e. the exponential growth of the Markov chain in the size of the underlying system. We propose a decompositional method to alleviate this limitation. Lumping is a well-known reduction technique facilitating computation of the relevant measures on the quotient of the Markov chain under lumping equivalence. In order to avoid computation of lumping equivalences on intractably large Markov chains, we propose a system decomposition supporting local lumping on the considerably smaller Markov chains of the subsystems. Recomposing the lumped Markov chains of the subsystems constructs a lumped transition model of the whole system, thus avoiding the construction of the full product chain. An example demonstrates how the limiting window availability (i.e. a particular fault tolerance measure) can be computed for a self-stabilizing system exploiting lumping and decomposition.

Place, publisher, year, edition, pages
United States, 2013. Vol. 79, no 7, 1113-1125 p.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-30507DOI: 10.1016/j.jcss.2013.01.022ISI: 000320351400009Scopus ID: 2-s2.0-84878506362OAI: oai:DiVA.org:mdh-30507DiVA: diva2:886277
Projects
TOCSYC - Testing of Critical System Characteristics (KKS)
Available from: 2015-12-22 Created: 2015-12-21 Last updated: 2015-12-22Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopushttp://www.sciencedirect.com/science/article/pii/S0022000013000329

Search in DiVA

By author/editor
Müllner, Nils
In the same journal
Journal of computer and system sciences (Print)
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 4 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