Abstract
Resilience is an ability of the system to deliver its services in a dependable way despite the changes. In this paper, we propose a multi-agent based formal outlook on ensuring resilience of multi-robotic systems. We represent system functions as collaborative activities performed by the agents with different capabilities. Changes invoke either structural reconfigurations – forming different collaborations or compensative activities – introducing into the system agents with additional capabilities. We formalize the resilience mechanisms and demonstrate their use by a case study – a coordination of a swarm of drones.
| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Software Engineering for Resilient Systems |
| Editors | Radu Calinescu, Felicita Di Giandomenico |
| Publisher | Springer |
| Pages | 29–45 |
| ISBN (Electronic) | 978-3-030-30856-8 |
| ISBN (Print) | 978-3-030-30855-1 |
| DOIs | |
| Publication status | Published - 2019 |
| MoE publication type | A4 Article in a conference publication |
| Event | International Workshop on Software Engineering for Resilient Systems - 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019 Duration: 17 Sept 2019 → 17 Sept 2019 |
Conference
| Conference | International Workshop on Software Engineering for Resilient Systems |
|---|---|
| Period | 17/09/19 → 17/09/19 |
Keywords
- Event-B
- Formal reasoning
- Formal verification
- Multi-robotic Systems
- System resilience
- formal modelling