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

Inna Vistbakka, Elena Troubitsyna, Amin Majd

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

3 Sitaatiot (Scopus)

Abstrakti

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.

AlkuperäiskieliEi tiedossa
OtsikkoProceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
ToimittajatYu Dongjin, Vu Nguyen, Congfeng Jiang
KustantajaIEEE
Sivut58–65
ISBN (painettu)9781538685402
DOI - pysyväislinkit
TilaJulkaistu - 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Symposium on High Assurance Systems Engineering - 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
Kesto: 3 tammikuuta 20195 tammikuuta 2019

Konferenssi

KonferenssiInternational Symposium on High Assurance Systems Engineering
Ajanjakso03/01/1905/01/19

Keywords

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

Viittausmuodot