Projects per year
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 | |
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
Projects
- 1 Finished
-
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