TY - GEN
T1 - Composition of fault-containing protocols based on recovery waiting fault-containing composition framework
AU - Yamauchi, Yukiko
AU - Kamei, Sayaka
AU - Ooshita, Fukuhito
AU - Katayama, Yoshiaki
AU - Kakugawa, Hirotsugu
AU - Masuzawa, Toshimitsu
N1 - Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.
PY - 2006
Y1 - 2006
N2 - Self-stabilizing protocols provide autonomous recovery from finite number of transient faults. Fault-containing self-stabilizing protocols promise not only self-stabilization but also quick recovery from and small effect of a small number of faults. However, existing composition techniques of self-stabilizing protocols (e.g. fair composition) cannot preserve the fault-containment property when composing fault-containing protocols. In this paper, we present Recovery Waiting Fault-containing Composition (RWFC) framework that preserves the fault-containment property of the composed protocol. We show an example of fault-containing composition of a minimum spanning tree protocol on arbitrary weighted graphs and a median finding protocol on trees via RWFC.
AB - Self-stabilizing protocols provide autonomous recovery from finite number of transient faults. Fault-containing self-stabilizing protocols promise not only self-stabilization but also quick recovery from and small effect of a small number of faults. However, existing composition techniques of self-stabilizing protocols (e.g. fair composition) cannot preserve the fault-containment property when composing fault-containing protocols. In this paper, we present Recovery Waiting Fault-containing Composition (RWFC) framework that preserves the fault-containment property of the composed protocol. We show an example of fault-containing composition of a minimum spanning tree protocol on arbitrary weighted graphs and a median finding protocol on trees via RWFC.
UR - http://www.scopus.com/inward/record.url?scp=33845513592&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33845513592&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-49823-0_36
DO - 10.1007/978-3-540-49823-0_36
M3 - Conference contribution
AN - SCOPUS:33845513592
SN - 3540490183
SN - 9783540490180
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 516
EP - 532
BT - Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings
PB - Springer Verlag
T2 - 8th International Symposium on Self-Stabilizing Systems, SSS 2006
Y2 - 17 November 2006 through 19 November 2006
ER -