Fault Tolerant Middleware for Agent Systems: A Refinement Approach - 12th European Workshop on Dependable Computing Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Fault Tolerant Middleware for Agent Systems: A Refinement Approach

Résumé

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.
Fichier principal
Vignette du fichier
FaultTolerance_1.pdf (302.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00381724 , version 1 (12-05-2009)

Identifiants

  • HAL Id : hal-00381724 , version 1

Citer

Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky. Fault Tolerant Middleware for Agent Systems: A Refinement Approach. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 7 p. ⟨hal-00381724⟩

Collections

EWDC2009
60 Consultations
49 Téléchargements

Partager

Gmail Facebook X LinkedIn More