loading...
An Automatic Approach to Self-Stabilization
Towson University, Towson, Maryland, USA May 23-May 25
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SNPD-SAWN.2005.14Sixth International Conference on Sof ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Brahim Hamid, Mohamed Mosbah, "An Automatic Approach to Self-Stabilization," Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on, pp. 123-128, Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and First ACIS International Workshop on Self-Assembling Wireless Networks (SNPD/SAWN'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/SNPD-SAWN.2005.14,
author = {Brahim Hamid and Mohamed Mosbah},
title = {An Automatic Approach to Self-Stabilization},
journal ={Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on},
volume = {0},
year = {2005},
isbn = {0-7695-2294-7},
pages = {123-128},
doi = {http://doi.ieeecomputersociety.org/10.1109/SNPD-SAWN.2005.14},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on
TI - An Automatic Approach to Self-Stabilization
SN - 0-7695-2294-7
SP123
EP128
A1 - Brahim Hamid,
A1 - Mohamed Mosbah,
PY - 2005
KW - null
VL - 0
JA - Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on
ER -
 
Brahim Hamid, University of Bordeaux-1
Mohamed Mosbah, University of Bordeaux-1
We present a formal method to design self-stabilizing algorithms by using graph rewriting systems (GRS). This method is based on two phases. The first phase consists of defining the set of illegitimate configurations (GRSIC). The second phase allows to construct some local correction rules to eliminate the illegitimate configurations. Then the graph relabeling system composed of the initial graph rewriting system improved with the addition of the correction rules is a self-stabilizing system (LSGRS). We obtain a general approach to deal with fault-tolerance in distributed computing. We illustrate our approach by various self-stabilizing algorithms for computing distributed spanning trees and SSP's algorithm.
Citation:
Brahim Hamid, Mohamed Mosbah, "An Automatic Approach to Self-Stabilization," snpd-sawn, pp.123-128, Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and First ACIS International Workshop on Self-Assembling Wireless Networks (SNPD/SAWN'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.