Projekteja vuodessa
Abstrakti
Ensuring system resilience - dependability in presence of changes - is a complex engineering task. To achieve resilience, a system should not only autonomously cope with non-deterministically changing internal state and external operating conditions but also proactively reconfigure to maintain efficiency. To facilitate structuring and verifying such complex system behavior, in this paper, we demonstrate how to derive resilience-enhancing mode transition logic from the goals that the system should achieve. Our approach is formalised in Event-B that allows us to reason about resilience mechanisms at different architectural levels. We illustrate the proposed approach by an example - safe and efficient navigation of a swarm of drones.
Alkuperäiskieli | Ei tiedossa |
---|---|
Otsikko | Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings |
Toimittajat | Jing Sun, Meng Sun |
Kustantaja | Springer |
Sivut | 320–336 |
ISBN (elektroninen) | 978-3-030-02450-5 |
ISBN (painettu) | 978-3-030-02449-9 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2018 |
OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisuussa |
Tapahtuma | International Conference on Formal Engineering Methods, ICFEM - 20th International Conference on Formal Engineering Methods, ICFEM 2018 Kesto: 12 marrask. 2018 → … |
Konferenssi
Konferenssi | International Conference on Formal Engineering Methods, ICFEM |
---|---|
Ajanjakso | 12/11/18 → … |
Keywords
- Event-B
- Formal modelling
- Resilient Systems
- Swarm of drones
Projektit
- 1 Päättynyt
-
LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E. (Vastuullinen tutkija), Vistbakka, I. (CoI) & Majd, A. (CoI)
01/01/18 → 31/12/19
Projekti: Research Council of Finland/Other Research Councils