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

Development of a Dependable Multi-Agent System by Refinement in Event-B

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, Development of a Dependable Multi-Agent System by Refinement in Event-B. In: Naveed Ahmed, Daniele Quercia, Christian D. Jensen (Eds.), Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011), 339-355, Technical University of Denmark, 2011.

Abstract:

It is widely recognised that system complexity poses the major threat to dependability. Yet, such complex distributed systems as multi-agent systems are increasingly used in critical applications. To ensure their dependability, we need powerful development techniques that would allow us to master complexity inherent to multi-agent systems and formally verify correctness of agent interactions while performing safety-critical collaborative activities. In this paper we propose a rigorous approach to the development of a critical multi-agent system by refinement in Event-B. Our approach offers the developers a scalable method for modelling and verification of complex agent interactions and formal verification of their correctness and safety. We present a formal development of a hospital multi-agent system and show that refinement in Event-B facilitates development of complex dependable systems.

BibTeX entry:

@INPROCEEDINGS{inpPeTr11,
  title = {Development of a Dependable Multi-Agent System by Refinement in Event-B},
  booktitle = {Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)},
  author = {Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas},
  editor = {Ahmed, Naveed and Quercia, Daniele and Jensen, Christian D.},
  publisher = {Technical University of Denmark},
  pages = {339-355},
  year = {2011},
  keywords = {Event-B, refinement, formal development, multi-agent system, safety},
}

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

Edit publication