Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Stepwise Development of Scalable and Reliable Multiagent Systems

Lookup NU author(s): Denis Grotsev, Dr Alexei Iliasov, Professor Alexander RomanovskyORCiD



This is an improved and corrected version of the CS-TR-1205 - Formal Stepwise Development of Scalable and Reliable Multiagent Systems by Grotsev, D., Iliasov, A., Romanovsky, A. School of Computing Science, Newcastle University, June 2010. In this paper we consider the coordination aspect of large-scale dynamically-reconfigurable multi-agent systems in which agents cooperate to achieve a common goal. The agents reside on distributed nodes and collectively represent a distributed system capable of executing tasks that cannot be effectively executed by an individual node. The two key requirements to be met when designing such a system are scalability and reliability. Scalability ensures that a large number of agents can participate in computation without overwhelming the system management facilities and thus allow agents to join and leave the system without affecting its performance. Meeting the reliability requirement guarantees that the system has enough redundancy to transparently tolerate a number of node crashes and agent failures, and is therefore free from single points of failures. We use the Event B formal method to formally validate the design and to ensure system scalability and reliability.

Publication metadata

Author(s): Grotsev D, Iliasov A, Romanovsky A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2010

Pages: 21

Print publication date: 01/11/2010

Source Publication Date: November 2010

Report Number: 1226

Institution: Newcastle University

Place Published: Newcastle upon Tyne, UK