Multi-layered Approach to Safe Navigation of Swarms of Drones

Inna Vistbakka, Amin Majd, Elena Troubitsyna

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

6 Citations (Scopus)


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.

Original languageUndefined/Unknown
Title of host publicationComputer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
EditorsBarbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
ISBN (Electronic)978-3-319-99229-7
ISBN (Print)978-3-319-99228-0
Publication statusPublished - 2018
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Computer Safety, Reliability, and Security, SAFECOMP - International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018
Duration: 18 Sept 201818 Sept 2018


ConferenceInternational Conference on Computer Safety, Reliability, and Security, SAFECOMP

Cite this