Multi-layered Approach to Safe Navigation of Swarms of Drones

Inna Vistbakka; Amin Majd; Elena Troubitsyna

doi:10.1007/978-3-319-99229-7_11

Multi-layered Approach to Safe Navigation of Swarms of Drones

Inna Vistbakka, Amin Majd, Elena Troubitsyna

Information Technology

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

6 Citations (Scopus)

Abstract

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 language	Undefined/Unknown
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
Publisher	Springer
Pages	112–125
ISBN (Electronic)	978-3-319-99229-7
ISBN (Print)	978-3-319-99228-0
DOIs	https://doi.org/10.1007/978-3-319-99229-7_11
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 Sept 2018 → 18 Sept 2018

Conference

Conference	International Conference on Computer Safety, Reliability, and Security, SAFECOMP
Period	18/09/18 → 18/09/18

Access to Document

10.1007/978-3-319-99229-7_11

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E. (Principal Investigator), Vistbakka, I. (Co-Investigator) & Majd, A. (Co-Investigator)
01/01/18 → 31/12/19
Project: Research Council of Finland/Other Research Councils

Cite this

Vistbakka, I., Majd, A., & Troubitsyna, E. (2018). Multi-layered Approach to Safe Navigation of Swarms of Drones. In B. Gallina, A. Skavhaug, E. Schoitsch, & F. Bitsch (Eds.), Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings (pp. 112–125). Springer. https://doi.org/10.1007/978-3-319-99229-7_11

Vistbakka, Inna ; Majd, Amin ; Troubitsyna, Elena. / Multi-layered Approach to Safe Navigation of Swarms of Drones. Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings. editor / Barbara Gallina ; Amund Skavhaug ; Erwin Schoitsch ; Friedemann Bitsch. Springer, 2018. pp. 112–125

@inproceedings{1c1efcc941324c87a842e15e7cb58719,

title = "Multi-layered Approach to Safe Navigation of Swarms of Drones",

abstract = "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.",

author = "Inna Vistbakka and Amin Majd and Elena Troubitsyna",

year = "2018",

doi = "10.1007/978-3-319-99229-7_11",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-99228-0",

pages = "112–125",

editor = "Barbara Gallina and Amund Skavhaug and Erwin Schoitsch and Friedemann Bitsch",

booktitle = "Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V{\"a}ster{\aa}s, Sweden, September 18, 2018, Proceedings",

publisher = "Springer",

note = "International Conference on Computer Safety, Reliability, and Security, SAFECOMP ; Conference date: 18-09-2018 Through 18-09-2018",

}

Vistbakka, I, Majd, A & Troubitsyna, E 2018, Multi-layered Approach to Safe Navigation of Swarms of Drones. in B Gallina, A Skavhaug, E Schoitsch & F Bitsch (eds), Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings. Springer, pp. 112–125, International Conference on Computer Safety, Reliability, and Security, SAFECOMP, 18/09/18. https://doi.org/10.1007/978-3-319-99229-7_11

Multi-layered Approach to Safe Navigation of Swarms of Drones. / Vistbakka, Inna; Majd, Amin; Troubitsyna, Elena.
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings. ed. / Barbara Gallina; Amund Skavhaug; Erwin Schoitsch; Friedemann Bitsch. Springer, 2018. p. 112–125.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Multi-layered Approach to Safe Navigation of Swarms of Drones

AU - Vistbakka, Inna

AU - Majd, Amin

AU - Troubitsyna, Elena

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-99229-7_11

DO - 10.1007/978-3-319-99229-7_11

M3 - Konferensbidrag

SN - 978-3-319-99228-0

SP - 112

EP - 125

BT - Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

A2 - Gallina, Barbara

A2 - Skavhaug, Amund

A2 - Schoitsch, Erwin

A2 - Bitsch, Friedemann

PB - Springer

T2 - International Conference on Computer Safety, Reliability, and Security, SAFECOMP

Y2 - 18 September 2018 through 18 September 2018

ER -

Vistbakka I, Majd A, Troubitsyna E. Multi-layered Approach to Safe Navigation of Swarms of Drones. In Gallina B, Skavhaug A, Schoitsch E, Bitsch F, editors, Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings. Springer. 2018. p. 112–125 doi: 10.1007/978-3-319-99229-7_11

Multi-layered Approach to Safe Navigation of Swarms of Drones

Abstract

Conference

Access to Document

Projects

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems

Cite this