NDLI: Scalable self-stabilization via composition

Content Provider	IEEE Xplore Digital Library
Author	Leal, W. Arora, Anish
Copyright Year	2004
Description	Author affiliation: Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA (Leal, W.; Anish Arora)
Abstract	Objections to the practical use of stabilization have centered around problems of scale. Because of potential interferences between actions, global reasoning over the entire system is in general necessary. The complexity of this task increases dramatically as systems grow in size. Alternatives to dealing with this complexity focus on reset and composition. For reset, the problem is that any fault, no matter how minor, will cause a complete system reset with potentially significant lack of availability. For existing compositional alternatives, including compositional reset, severe restrictions on candidate systems are imposed. To address these issues, we give a framework for composition in which global reasoning and detailed system knowledge are not necessary, and which apply to a significantly wider range of systems than has hitherto been possible. We explicitly identify for each component which other components it can corrupt. Additionally, the correction of one component often depends on the prior correction of one or more other components, constraining the order in which correction can take place. Given appropriate component stabilizers such as detectors and correctors, we offer several ways to coordinate system correction, depending on what is actually known about the corruption and correction relations. By reducing the design of and reasoning about stabilization to local activities involving each component and the neighbors with which it interacts, the framework is scalable. Reset is generally avoided by using the correction relation to check and correct only where necessary. By including both correction and corruption relations, the framework subsumes and extends other compositional approaches. Though not directly a part of this work, we mention tools and techniques that can be used to help calculate the dependency and corruption relations and to help create the necessary stabilizers. To illustrate the theory, we show how this framework has been applied in our work in sensor networks.
Sponsorship	IEEE Comput. Soc. Information Processing Soc. of Japan (IPSJ)
Starting Page	12
Ending Page	21
File Size	627401
Page Count	10
File Format	PDF
ISBN	0769520863
ISSN	10636927
DOI	10.1109/ICDCS.2004.1281563
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2004-03-26
Publisher Place	Japan
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Interference Information science Detectors Local activities Temperature sensors Network servers Computer errors Computer bugs Wireless networks Contracts
Content Type	Text
Resource Type	Article
Subject	Computer Networks and Communications Hardware and Architecture Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Dynamic Light-Weight Groups

Zigzag: Local-Information-Based Self-Optimizing Routing in Virtual Grid Networks

Sentomist: Unveiling Transient Sensor Network Bugs via Symptom Mining

Post-Deployment Performance Debugging in Wireless Sensor Networks

WISENET - TinyOS based wireless network of sensors

Information dissemination in partitionable mobile ad hoc networks

Architectures for Wireless Sensor Networks

Software-defined wireless mesh networks: architecture and traffic orchestration

Self-Protection for Wireless Sensor Networks

Scalable self-stabilization via composition

Similar Documents

Dynamic Light-Weight Groups

Zigzag: Local-Information-Based Self-Optimizing Routing in Virtual Grid Networks

Sentomist: Unveiling Transient Sensor Network Bugs via Symptom Mining

Post-Deployment Performance Debugging in Wireless Sensor Networks

WISENET - TinyOS based wireless network of sensors

Information dissemination in partitionable mobile ad hoc networks

Architectures for Wireless Sensor Networks

Software-defined wireless mesh networks: architecture and traffic orchestration

Self-Protection for Wireless Sensor Networks

Scalable self-stabilization via composition