Projects per year
Swarms of drones are complex distributed systems that should operate safely, i.e., avoid collisions with each other and unforeseen objects appearing in the flight zones. Ensuring safety of drone navigation is challenging due to unreliability of drones, communication channels and non-determinism of the operating environment. In this paper, we propose a novel multi-layered approach to ensuring safety of drone navigation. It aims at maintaining an optimal ratio between efficiency of mission execution and safety at a hierarchical distributed way. We formalise the proposed approach in Event-B and derive the coordination and reconfiguration mechanisms ensuring efficiency and safety of mission execution.
|Title of host publication||Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings|
|Editors||Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch|
|Publication status||Published - 2018|
|MoE publication type||A4 Article in a conference publication|
|Event||International Conference on Computer Safety, Reliability, and Security, SAFECOMP - International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018|
Duration: 18 Sep 2018 → 18 Sep 2018
|Conference||International Conference on Computer Safety, Reliability, and Security, SAFECOMP|
|Period||18/09/18 → 18/09/18|
- 1 Finished
LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E., Vistbakka, I. & Majd, A.
01/01/18 → 31/12/19