Write a Blog >>
SEAMS 2022
Mon 23 - Tue 24 May 2022
co-located with ICSE 2022
Thu 19 May 2022 12:50 - 12:55 at SEAMS room - Analysis and Planning Chair(s): Gabriel A. Moreno, Genaína Nunes Rodrigues

video link

Self-adaptive systems offer more attack surfaces due to increased communication via different channels and 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 security analysis are not sufficient for the analysis of self-adaptive systems, since they do not take into account the adaptation and, in particular, 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 a 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. The resulting Attack-Fault Tree forms the basis for analyzing the system with respect to its safety and security.

Thu 19 May

Displayed time zone: Eastern Time (US & Canada) change

12:30 - 14:00
Analysis and Planning SEAMS 2022 at SEAMS room
Chair(s): Gabriel A. Moreno Carnegie Mellon University, USA, Genaína Nunes Rodrigues University of Brasília
12:30
5m
Paper
Planning Landscape Analysis for Self-Adaptive SystemsShort Research Paper
SEAMS 2022
Tao Chen Loughborough University
Pre-print
12:40
5m
Paper
PRESTO: Predicting System-level Disruptions through Parametric Model CheckingShort Research Paper
SEAMS 2022
Xinwei Fang University of York, UK, Radu Calinescu University of York, UK, Colin Paterson University of York, Julie Wilson University of York
Pre-print
12:45
5m
Paper
Run-Time Adaptation of Quality Attributes for Automated PlanningShort Research Paper
SEAMS 2022
Rebekka Wohlrab Carnegie Mellon University, Rômulo Meira-Góes Carnegie Mellon University, Michael Vierhauser Johannes Kepler University Linz
Pre-print
12:50
5m
Paper
Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security AnalysisShort Research Paper
SEAMS 2022
Thomas Witte Ulm University, Raffaela Groner Ulm University, Alexander Raschke Ulm University, Matthias Tichy Ulm University, Germany, Irdin Pekaric University of Innsbruck, Michael Felderer University of Innsbruck
Pre-print
12:55
65m
Panel
Discussion
SEAMS 2022


Information for Participants
Thu 19 May 2022 12:30 - 14:00 at SEAMS room - Analysis and Planning Chair(s): Gabriel A. Moreno, Genaína Nunes Rodrigues
Info for room SEAMS room:

Click here to go to the room on Midspace