Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis

09/18/2023
by   Thomas Witte, et al.
0

Self-adaptive systems offer several attack surfaces due to the communication via different channels and the different sensors required to observe the environment. Often, attacks cause safety to be compromised as well, making it necessary to consider these two aspects together. Furthermore, the approaches currently used for safety and security analysis do not sufficiently take into account the intermediate steps of an adaptation. Current work in this area ignores the fact that a self-adaptive system also reveals possible vulnerabilities (even if only temporarily) during the adaptation. To address this issue, we propose a modeling approach that takes into account the different relevant aspects of a system, its adaptation process, as well as safety hazards and security attacks. We present several models that describe different aspects of a self-adaptive system and we outline our idea of how these models can then be combined into an Attack-Fault Tree. This allows modeling aspects of the system on different levels of abstraction and co-evolve the models using transformations according to the adaptation of the system. Finally, analyses can then be performed as usual on the resulting Attack-Fault Tree.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/11/2018

Model-Based Safety and Security Engineering

By exploiting the increasing surface attack of systems, cyber-attacks ca...
research
03/12/2021

Evaluation Framework for Performance Limitation of Autonomous Systems under Sensor Attack

Autonomous systems such as self-driving cars rely on sensors to perceive...
research
09/18/2023

Model-Based Generation of Attack-Fault Trees

Joint safety and security analysis of cyber-physical systems is a necess...
research
05/17/2020

Attack-aware Security Function Chain Reordering

Attack-awareness recognizes self-awareness for security systems regardin...
research
10/20/2017

Self-adaptive static analysis

Static code analysis is a powerful approach to detect quality deficienci...
research
04/06/2020

Safety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence

Safety-critical systems are becoming larger and more complex to obtain a...
research
08/28/2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System

Self-adaptation is a crucial feature of autonomous systems that must cop...

Please sign up or login with your details

Forgot password? Click here to reset