Hierarchical composition of self-stabilizing protocols preserving the fault-containment property

Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

A desired property of large distributed systems is self adaptability against the faults that occur more frequently as the size of the distributed system grows. Self-stabilizing protocols provide autonomous recovery from finite number of transient faults. Fault-containing selfstabilizing protocols promise not only self-stabilization but also containment of faults (quick recovery and small effect) against small number of faults. However, existing composition techniques for self-stabilizing protocols (e.g. fair composition) cannot preserve the fault-containment property when composing fault-containing self-stabilizing protocols. In this paper, we present Recovery Waiting Fault-containing Composition (RWFC) framework that provides a composition of multiple fault-containing selfstabilizing protocols while preserving the fault-containment property of the source protocols.

Original languageEnglish
Pages (from-to)451-459
Number of pages9
JournalIEICE Transactions on Information and Systems
VolumeE92-D
Issue number3
DOIs
Publication statusPublished - Jan 1 2009

Fingerprint

Chemical analysis
Recovery
Stabilization

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering
  • Artificial Intelligence

Cite this

Hierarchical composition of self-stabilizing protocols preserving the fault-containment property. / Yamauchi, Yukiko; Kamei, Sayaka; Ooshita, Fukuhito; Katayama, Yoshiaki; Kakugawa, Hirotsugu; Masuzawa, Toshimitsu.

In: IEICE Transactions on Information and Systems, Vol. E92-D, No. 3, 01.01.2009, p. 451-459.

Research output: Contribution to journalArticle

Yamauchi, Yukiko ; Kamei, Sayaka ; Ooshita, Fukuhito ; Katayama, Yoshiaki ; Kakugawa, Hirotsugu ; Masuzawa, Toshimitsu. / Hierarchical composition of self-stabilizing protocols preserving the fault-containment property. In: IEICE Transactions on Information and Systems. 2009 ; Vol. E92-D, No. 3. pp. 451-459.
@article{6fd7ec201c984183882b415df8e8c8cd,
title = "Hierarchical composition of self-stabilizing protocols preserving the fault-containment property",
abstract = "A desired property of large distributed systems is self adaptability against the faults that occur more frequently as the size of the distributed system grows. Self-stabilizing protocols provide autonomous recovery from finite number of transient faults. Fault-containing selfstabilizing protocols promise not only self-stabilization but also containment of faults (quick recovery and small effect) against small number of faults. However, existing composition techniques for self-stabilizing protocols (e.g. fair composition) cannot preserve the fault-containment property when composing fault-containing self-stabilizing protocols. In this paper, we present Recovery Waiting Fault-containing Composition (RWFC) framework that provides a composition of multiple fault-containing selfstabilizing protocols while preserving the fault-containment property of the source protocols.",
author = "Yukiko Yamauchi and Sayaka Kamei and Fukuhito Ooshita and Yoshiaki Katayama and Hirotsugu Kakugawa and Toshimitsu Masuzawa",
year = "2009",
month = "1",
day = "1",
doi = "10.1587/transinf.E92.D.451",
language = "English",
volume = "E92-D",
pages = "451--459",
journal = "IEICE Transactions on Information and Systems",
issn = "0916-8532",
publisher = "一般社団法人電子情報通信学会",
number = "3",

}

TY - JOUR

T1 - Hierarchical composition of self-stabilizing protocols preserving the fault-containment property

AU - Yamauchi, Yukiko

AU - Kamei, Sayaka

AU - Ooshita, Fukuhito

AU - Katayama, Yoshiaki

AU - Kakugawa, Hirotsugu

AU - Masuzawa, Toshimitsu

PY - 2009/1/1

Y1 - 2009/1/1

N2 - A desired property of large distributed systems is self adaptability against the faults that occur more frequently as the size of the distributed system grows. Self-stabilizing protocols provide autonomous recovery from finite number of transient faults. Fault-containing selfstabilizing protocols promise not only self-stabilization but also containment of faults (quick recovery and small effect) against small number of faults. However, existing composition techniques for self-stabilizing protocols (e.g. fair composition) cannot preserve the fault-containment property when composing fault-containing self-stabilizing protocols. In this paper, we present Recovery Waiting Fault-containing Composition (RWFC) framework that provides a composition of multiple fault-containing selfstabilizing protocols while preserving the fault-containment property of the source protocols.

AB - A desired property of large distributed systems is self adaptability against the faults that occur more frequently as the size of the distributed system grows. Self-stabilizing protocols provide autonomous recovery from finite number of transient faults. Fault-containing selfstabilizing protocols promise not only self-stabilization but also containment of faults (quick recovery and small effect) against small number of faults. However, existing composition techniques for self-stabilizing protocols (e.g. fair composition) cannot preserve the fault-containment property when composing fault-containing self-stabilizing protocols. In this paper, we present Recovery Waiting Fault-containing Composition (RWFC) framework that provides a composition of multiple fault-containing selfstabilizing protocols while preserving the fault-containment property of the source protocols.

UR - http://www.scopus.com/inward/record.url?scp=77950331208&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77950331208&partnerID=8YFLogxK

U2 - 10.1587/transinf.E92.D.451

DO - 10.1587/transinf.E92.D.451

M3 - Article

VL - E92-D

SP - 451

EP - 459

JO - IEICE Transactions on Information and Systems

JF - IEICE Transactions on Information and Systems

SN - 0916-8532

IS - 3

ER -