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

Inna Vistbakka, Elena Troubitsyna, Amin Majd

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

3 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 languageUndefined/Unknown
Title of host publicationProceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
EditorsYu Dongjin, Vu Nguyen, Congfeng Jiang
PublisherIEEE
Pages58–65
ISBN (Print)9781538685402
DOIs
Publication statusPublished - 2019
MoE publication typeA4 Article in a conference publication
EventInternational Symposium on High Assurance Systems Engineering - 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
Duration: 3 Jan 20195 Jan 2019

Conference

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

Keywords

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

Cite this