Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective
Abo Akad Univ, Informat Technol, Turku, Finland..
KTH, School of Electrical Engineering and Computer Science (EECS), Theoretical Computer Science, TCS. KTH Royal Inst Technol, Dept Theoret Comp Sci, Stockholm, Sweden..
Abo Akad Univ, Informat Technol, Turku, Finland..
2019 (English)In: 201919TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2019) / [ed] Yu, D Nguyen, V Jiang, C, IEEE , 2019, p. 58-65Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
IEEE , 2019. p. 58-65
Series
IEEE International Symposium on High-Assurance Systems Engineering, ISSN 1530-2059
Keywords [en]
Safety, autonomous systems, coordination, formal modelling, Event-B, swarm of drones
National Category
Information Systems
Identifiers
URN: urn:nbn:se:kth:diva-252422DOI: 10.1109/HASE.2019.00019ISI: 000467259000009Scopus ID: 2-s2.0-85063998057ISBN: 978-1-5386-8540-2 (print)OAI: oai:DiVA.org:kth-252422DiVA, id: diva2:1337144
Conference
19th IEEE International Symposium on High Assurance Systems Engineering (HASE), JAN 03-05, 2019, Hangzhou, PEOPLES R CHINA
Note

QC 20190711

Available from: 2019-07-11 Created: 2019-07-11 Last updated: 2019-07-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Troubitsyna, Elena

Search in DiVA

By author/editor
Troubitsyna, Elena
By organisation
Theoretical Computer Science, TCS
Information Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 13 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf