Abstract
Multi-agent systems (MAS) are increasingly used in critical applications. To ensure dependability of MAS, we need to formally specify and verify their fault tolerance, i.e., to ensure that collaborative agent activities are performed correctly despite agent failure. In this paper, we present a formalisation of fault tolerant MAS and use it to define specification and refinement patterns for modelling MAS in Event-B.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Majd, A., Ashraf, A., Troubitsyna, E.: Online path generation and navigation for swarms of UAVs. In: Scientific Computing, pp. 1–12 (2020)
Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
Abrial, J.-R.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)
Majd, A., Troubitsyna, E.: Data-driven approach to ensuring fault tolerance and efficiency of swarm systems. In: Proceedings of Big Data, vol. 2017, pp. 4792–4794 (2017)
Majd, A., Troubitsyna, E.: Towards a realtime, collision-free motion coordination and navigation system for a UAV fleet. In: Proceedings of ECBS, vol. 2017, pp. 111–119 (2017)
Troubitsyna, E., Pereverzeva, I., Laibinis, L.: Formal development of critical multi-agent systems: a refinement approach. In: Proceedings of European Dependable Computing Conference, pp. 156–161 (2015)
Vistbakka, I., Troubitsyna, E.: Modelling autonomous resilient multi-robotic systems. In: Calinescu, R., Di Giandomenico, F. (eds.) SERENE 2019. LNCS, vol. 11732, pp. 29–45. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-30856-8_3
Vistbakka, I., Troubitsyna, E.: Modelling resilient collaborative multi-agent systems. J. Comput. 103(4), 1–23 (2020)
Vistbakka, I., Troubitsyna, E.: Pattern-based goal-oriented development of fault-tolerant MAS in Event-B. In: Proceedings of International Conference on Practical Applications of Agents and Multi-Agent Systems, pp. 327–339 (2020)
Vistbakka, I., Majd, A., Troubitsyna, E.: Deriving mode logic for autonomous resilient systems. In: Sun, J., Sun, M. (eds.) ICFEM 2018. LNCS, vol. 11232, pp. 320–336. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-02450-5_19
Majd, A., Vistbakka, I., Troubitsyna, E.: Formal reasoning about resilient goal-oriented multi-agent systems. Sci. Comput. Program. 148, 66–87 (2019)
Majd, A., Vistbakka, I., Troubitsyna, E.: Multi-layered safety architecture of autonomous systems: formalising coordination perspective. In: Proceedings of 9th International Symposium on High Assurance Systems Engineering (HASE), pp. 58–65 (2019)
Laprie, J.C.: From dependability to resilience. In: 38th IEEE/IFIP International Conference on Dependable Systems and Networks, pp. G8–G9 (2008)
OMG Mobile Agents Facility (MASIF). www.omg.org
Rigorous Open Development Environment for Complex Systems (RODIN). IST FP6 STREP project. http://rodin.cs.ncl.ac.uk/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Troubitsyna, E. (2021). Formal Specification of Fault-Tolerant Multi-agent Systems. In: Dignum, F., Corchado, J.M., De La Prieta, F. (eds) Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection. PAAMS 2021. Lecture Notes in Computer Science(), vol 12946. Springer, Cham. https://doi.org/10.1007/978-3-030-85739-4_24
Download citation
DOI: https://doi.org/10.1007/978-3-030-85739-4_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-85738-7
Online ISBN: 978-3-030-85739-4
eBook Packages: Computer ScienceComputer Science (R0)