Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Rigorous Development of a Safe...

Rigorous Development of a Safe Multi-Agent System

Inna Pereverzeva, Elena Troubitsyna, Linas Laibnis, Rigorous Development of a Safe Multi-Agent System. TUCS Technical Reports 1004, Turku Centre for Computer Science, 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.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tPeTrLa11a,
  title = {Rigorous Development of a Safe Multi-Agent System},
  author = {Pereverzeva, Inna and Troubitsyna, Elena and Laibnis, Linas},
  number = {1004},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2011},
  keywords = {Event-B, refinement, formal modelling, multi-agent systems, safety},
  ISBN = {978-952-12-2572-7},
}

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

Edit publication