Industrial deployment of system engineering methods providing high dependability and productivity


Formal Goal-Oriented Development of Resilient Multi-Agent Systems in Event-B

Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas (2012) Formal Goal-Oriented Development of Resilient Multi-Agent Systems in Event-B. In: 17th International Conference on Reliable Soft- ware Technologies (Ada-Europe 2012), Stokholm, Sweden.

Full text not available from this repository.


Goal-Oriented Development facilitates structuring complex requirements. To ensure resilience the designers should guarantee that the system achieves its goals despite changes, e.g., caused by failures of system components. In this paper we propose a formal goal-oriented approach to development of resilient MAS. We formalize the notion of goal and goal achievement in Event-B and propose the specification and refinement patterns that allow us to guarantee that the targeted goals are reached despite agent failures. We illustrate our approach by a case study – development of an autonomous multi-robotic system.

Item Type:Conference or Workshop Item (Paper)
Subjects:Methodology > Refinement
Methodology > Proof and model checking
Methodology > Resilience
Event-B > Event-B Examples
ID Code:408
Deposited By: Mr. Linas Laibinis
Deposited On:29 Jun 2012 07:54
Last Modified:29 Jun 2012 07:54

Repository Staff Only: item control page

Deploy-Project - All right reserved