• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Fault Tolerant Middleware for Agent Systems: A Refinement Approach

Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky, Fault Tolerant Middleware for Agent Systems: A Refinement Approach. In: Electronic Proceedings of 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse, France, 14-15 May 2009, LAAS-CNRS, 2009.

Abstract:

Agent technology offers a number of advantages over traditional distributed systems, such as
asynchronous communication, anonymity of individual agents and ability to change
operational context. However, it is notoriously difficult to ensure dependability of agent
systems. In this paper we present a formal approach for the top-down development of fault
tolerant middleware for agent systems. We demonstrate how to develop the middleware that
besides providing agent coordination is also able to cope with their failures. We focus on
handling agent crushes and transient faults caused by volatile communication environment.
We argue that formal development of middleware with integrated fault tolerance mechanisms
has potential to enhance dependability of an agent system.

BibTeX entry:

@INPROCEEDINGS{inpLaTrIlRo09a,
  title = {Fault Tolerant Middleware for Agent Systems: A Refinement Approach},
  booktitle = {Electronic Proceedings of 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse, France, 14-15 May 2009},
  author = {Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander},
  publisher = {LAAS-CNRS},
  year = {2009},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication