Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective

Inna Vistbakka; Elena Troubitsyna; Amin Majd

doi:10.1109/HASE.2019.00019

Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective

Inna Vistbakka, Elena Troubitsyna, Amin Majd

Information Technology

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

11 Citations (Scopus)

Abstract

A pressure to deploy autonomous systems in real-life is increasing. Since exhaustive verification of safety of autonomous systems is unfeasible, the emphasis should be put on safety optimisation and run-time safety-monitoring techniques. In this paper, we propose a multi-layered architecture of autonomous systems. We define the notions of strategic, tactic and active safety -- the complementary mechanisms for achieving safety. We take a swarm of drones as an example and formally define a multi-layered safety architecture and associated coordination mechanisms and underlying communication model to implement the defined complementary safety mechanisms. The derived coordination logic and communication model is formalised in Event-B framework.

Original language	Undefined/Unknown
Title of host publication	Proceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
Editors	Yu Dongjin, Vu Nguyen, Congfeng Jiang
Publisher	IEEE
Pages	58–65
ISBN (Print)	9781538685402
DOIs	https://doi.org/10.1109/HASE.2019.00019
Publication status	Published - 2019
MoE publication type	A4 Article in a conference publication
Event	International Symposium on High Assurance Systems Engineering - 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Duration: 3 Jan 2019 → 5 Jan 2019

Conference

Conference	International Symposium on High Assurance Systems Engineering
Period	03/01/19 → 05/01/19

Keywords

Autonomous systems
Event-B
Formal reasoning
Formal verification
Swarm of drones
formal modelling

Access to Document

10.1109/HASE.2019.00019

https://doi.org/10.1109/HASE.2019.00019

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

@inproceedings{e72271f1b48c4fe9a652cd07fd257a0c,

title = "Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective",

abstract = "A pressure to deploy autonomous systems in real-life is increasing. Since exhaustive verification of safety of autonomous systems is unfeasible, the emphasis should be put on safety optimisation and run-time safety-monitoring techniques. In this paper, we propose a multi-layered architecture of autonomous systems. We define the notions of strategic, tactic and active safety -- the complementary mechanisms for achieving safety. We take a swarm of drones as an example and formally define a multi-layered safety architecture and associated coordination mechanisms and underlying communication model to implement the defined complementary safety mechanisms. The derived coordination logic and communication model is formalised in Event-B framework.",

keywords = "Autonomous systems, Event-B, Formal reasoning, Formal verification, Swarm of drones, formal modelling, Autonomous systems, Event-B, Formal reasoning, Formal verification, Swarm of drones, formal modelling, Autonomous systems, Event-B, Formal reasoning, Formal verification, Swarm of drones, formal modelling",

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

note = "Bett fulltext 3.6.2019/EH; International Symposium on High Assurance Systems Engineering ; Conference date: 03-01-2019 Through 05-01-2019",

year = "2019",

doi = "10.1109/HASE.2019.00019",

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

isbn = "9781538685402",

pages = "58–65",

editor = "Yu Dongjin and Vu Nguyen and Congfeng Jiang",

booktitle = "Proceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)",

publisher = "IEEE",

}

Vistbakka, I, Troubitsyna, E & Majd, A 2019, Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. in Y Dongjin, V Nguyen & C Jiang (eds), Proceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE). IEEE, pp. 58–65, International Symposium on High Assurance Systems Engineering, 03/01/19. https://doi.org/10.1109/HASE.2019.00019

Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. / Vistbakka, Inna; Troubitsyna, Elena; Majd, Amin.
Proceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE). ed. / Yu Dongjin; Vu Nguyen; Congfeng Jiang. IEEE, 2019. p. 58–65.

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

TY - GEN

T1 - Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective

AU - Vistbakka, Inna

AU - Troubitsyna, Elena

AU - Majd, Amin

N1 - Bett fulltext 3.6.2019/EH

PY - 2019

Y1 - 2019

N2 - A pressure to deploy autonomous systems in real-life is increasing. Since exhaustive verification of safety of autonomous systems is unfeasible, the emphasis should be put on safety optimisation and run-time safety-monitoring techniques. In this paper, we propose a multi-layered architecture of autonomous systems. We define the notions of strategic, tactic and active safety -- the complementary mechanisms for achieving safety. We take a swarm of drones as an example and formally define a multi-layered safety architecture and associated coordination mechanisms and underlying communication model to implement the defined complementary safety mechanisms. The derived coordination logic and communication model is formalised in Event-B framework.

AB - A pressure to deploy autonomous systems in real-life is increasing. Since exhaustive verification of safety of autonomous systems is unfeasible, the emphasis should be put on safety optimisation and run-time safety-monitoring techniques. In this paper, we propose a multi-layered architecture of autonomous systems. We define the notions of strategic, tactic and active safety -- the complementary mechanisms for achieving safety. We take a swarm of drones as an example and formally define a multi-layered safety architecture and associated coordination mechanisms and underlying communication model to implement the defined complementary safety mechanisms. The derived coordination logic and communication model is formalised in Event-B framework.

KW - Autonomous systems

KW - Event-B

KW - Formal reasoning

KW - Formal verification

KW - Swarm of drones

KW - formal modelling

KW - Autonomous systems

KW - Event-B

KW - Formal reasoning

KW - Formal verification

KW - Swarm of drones

KW - formal modelling

KW - Autonomous systems

KW - Event-B

KW - Formal reasoning

KW - Formal verification

KW - Swarm of drones

KW - formal modelling

U2 - 10.1109/HASE.2019.00019

DO - 10.1109/HASE.2019.00019

M3 - Publicerad konferensartikel

SN - 9781538685402

SP - 58

EP - 65

BT - Proceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)

A2 - Dongjin, Yu

A2 - Nguyen, Vu

A2 - Jiang, Congfeng

PB - IEEE

T2 - International Symposium on High Assurance Systems Engineering

Y2 - 3 January 2019 through 5 January 2019

ER -

Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective

Abstract

Conference

Keywords

Access to Document

Projects

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

Cite this