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

Formal Development of Critical Multi-Agent Systems: A Refinement Approach

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, Formal Development of Critical Multi-Agent Systems: A Refinement Approach. In: Cristian Constatinescu Miguel Pupo Correia (Ed.), 9th European Dependable Computing Conference (EDCC 2012), 156–161, IEEE Computer Society, 2012.

Abstract:

Multi-agent systems (MAS) are increasingly used in critical applications. To ensure dependability of MAS, we need powerful development techniques that would allow us to master complexity inherent to MAS and formally verify correctness and safety of collaborative agent activities. In this paper we present a development of hospital MAS by refinement in Event-B. We demonstrate that Event-B allows the developers to rigorously specify complex agent interactions and verify their correctness and safety.

BibTeX entry:

@INPROCEEDINGS{inpPeTrLa12a,
  title = {Formal Development of Critical Multi-Agent Systems: A Refinement Approach},
  booktitle = {9th European Dependable Computing Conference (EDCC 2012)},
  author = {Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas},
  editor = {Miguel Pupo Correia, Cristian Constatinescu},
  publisher = {IEEE Computer Society},
  pages = {156–161},
  year = {2012},
  keywords = {Event-B; refinement; formal modelling; formal verification; multi-agent system; safety},
}

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

Publication Forum rating of this publication: level 1

Edit publication