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