Welcome to the InfoSci Platform
Formal Stepwise Development of Scalable and Reliable Multiagent Systems

Formal Stepwise Development of Scalable and Reliable Multiagent Systems

Denis Grotsev, Alexei Iliasov, Alexander Romanovsky
Copyright: © 2012 |Pages: 17
ISBN13: 9781609607470|ISBN10: 1609607473|EISBN13: 9781609607487
DOI: 10.4018/978-1-60960-747-0.ch004
Cite Chapter Cite Chapter

MLA

Grotsev, Denis, et al. "Formal Stepwise Development of Scalable and Reliable Multiagent Systems ." Dependability and Computer Engineering: Concepts for Software-Intensive Systems, edited by Luigia Petre, et al., IGI Global, 2012, pp. 58-74. https://doi.org/10.4018/978-1-60960-747-0.ch004

APA

Grotsev, D., Iliasov, A., & Romanovsky, A. (2012). Formal Stepwise Development of Scalable and Reliable Multiagent Systems . In L. Petre, K. Sere, & E. Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems (pp. 58-74). IGI Global. https://doi.org/10.4018/978-1-60960-747-0.ch004

Chicago

Grotsev, Denis, Alexei Iliasov, and Alexander Romanovsky. "Formal Stepwise Development of Scalable and Reliable Multiagent Systems ." In Dependability and Computer Engineering: Concepts for Software-Intensive Systems, edited by Luigia Petre, Kaisa Sere, and Elena Troubitsyna, 58-74. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-747-0.ch004

Export Reference

Mendeley
Favorite

Abstract

This chapter considers 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 allows 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. The Event B formal method is used to validate the design formally and to ensure system scalability and reliability.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.