Multi-layered Approach to Safe Navigation of Swarms of Drones

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Inna Vistbakka, Amin Majd, Elena Troubitsyna
Editors: Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Publication year: 2018
Publisher: Springer
Book title: Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
Title of series: Lecture Notes in Computer Science (LNCS)
Volume number: 11094
Start page: 112
End page: 125
ISBN: 978-3-319-99228-0
eISBN: 978-3-319-99229-7
ISSN: 0302-9743


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.

Last updated on 2020-25-01 at 03:45