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

Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B. In: Fuyuki Ishikawa, Alexander Romanovsky (Eds.), Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, 1–7, ACM CoRR, 2012.

Abstract:

Designing fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we present an approach
to formal development of a fault tolerant multi-agent system by refinement in Event-B. We demonstrate how to formally specify cooperative
error recovery and dynamic reconfiguration in Event-B. Moreover, we
discuss how to express and verify essential properties of a fault tolerant
multi-agent system while refining it. The approach is illustrated by a
case study – a multi-robotic system.

BibTeX entry:

@INPROCEEDINGS{inpPeTrLa12e,
  title = {Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B},
  booktitle = {Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B},
  author = {Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas},
  editor = {Ishikawa, Fuyuki and Romanovsky, Alexander},
  publisher = {ACM CoRR},
  pages = {1–7},
  year = {2012},
  keywords = {Event-B, formal modelling, refinement, fault tolerance, multi-agent system},
}

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

Edit publication