Title :
Formal Analysis of Fault Recovery in Self-Organizing Systems
Author :
Calta, Jan ; Malek, Miroslaw
Author_Institution :
Dept. of Comput. Sci., Humboldt Univ., Berlin, Germany
Abstract :
The members of a self-organizing distributed system have ability to automatically organize themselves into a specific structure. The functionality of the system is achieved by collaboration of the members in this structure. Through automatic (re)organization, such a system is able to recover from various temporary faults which may disturb the established structure. In this paper, we propose a technique to identify all recoverable faults as well as to analyze fault tolerance and recovery from temporary faults by reorganization in self-organizing systems.
Keywords :
distributed processing; fault tolerant computing; formal verification; automatic organization; fault recovery; formal analysis; organizing distributed system; Biosensors; Collaboration; Distributed computing; Fault diagnosis; Fault tolerant systems; Information analysis; Protocols; Sensor phenomena and characterization; Sensor systems; State-space methods; fault tolerance; formal verification; self-organization;
Conference_Titel :
Dependable, Autonomic and Secure Computing, 2009. DASC '09. Eighth IEEE International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-0-7695-3929-4
Electronic_ISBN :
978-1-4244-5421-1
DOI :
10.1109/DASC.2009.31