DocumentCode :
3095449
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
fYear :
2009
fDate :
12-14 Dec. 2009
Firstpage :
11
Lastpage :
18
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/DASC.2009.31
Filename :
5380429
Link To Document :
بازگشت