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

Inna Vistbakka, Elena Troubitsyna, Amin Majd

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

3 Citeringar (Scopus)

Sammanfattning

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.

OriginalspråkOdefinierat/okänt
Titel på gästpublikationProceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
RedaktörerYu Dongjin, Vu Nguyen, Congfeng Jiang
FörlagIEEE
Sidor58–65
ISBN (tryckt)9781538685402
DOI
StatusPublicerad - 2019
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Symposium on High Assurance Systems Engineering - 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
Varaktighet: 3 jan 20195 jan 2019

Konferens

KonferensInternational Symposium on High Assurance Systems Engineering
Period03/01/1905/01/19

Nyckelord

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

Citera det här