SEAMS 2023
Mon 15 - Tue 16 May 2023 Melbourne, Australia
co-located with ICSE 2023

The feature interaction problem occurs when two or more independently developed components interact with each other in unanticipated ways, resulting in undesirable system behaviors. Feature interaction problems remain a challenge for emerging domains in cyber-physical systems (CPS), such as the Internet of Things and autonomous drones. Existing techniques for resolving feature interactions take a “winner-takes-all” approach, where one out of the conflicting features is selected as the most desirable one, and the rest are disabled. However, when multiple of the conflicting features fulfill important system requirements, being forced to select one of them can result in an undesirable system outcome. In this paper, we propose a new resolution approach that allows all of the conflicting features to continue to partially fulfill their requirements during the resolution process. In particular, our approach leverages the idea of adaptive requirement weakening, which involves one or more features temporarily weakening their level of performance in order to co-exist with the other features in a consistent manner. Given feature requirements specified in Signal Temporal Logic (STL), we propose an automated method and a runtime architecture for automatically weakening the requirements to resolve a conflict. We demonstrate our approach through case studies on feature interactions in autonomous drones.

Tue 16 May

Displayed time zone: Hobart change

11:00 - 12:30
Session 5: Runtime decision-making and human in the loopResearch Track / Artifact Track at Meeting Room 105
Chair(s): Amel Bennaceur The Open University, UK
11:00
25m
Paper
Runtime Verification of Self-Adaptive Systems with Changing Requirements
Research Track
Marc Carwehl Humboldt-Universität zu Berlin, Thomas Vogel Humboldt-Universtität zu Berlin, Genaína Nunes Rodrigues University of Brasília, Lars Grunske Humboldt-Universität zu Berlin
Pre-print
11:25
25m
Paper
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening
Research Track
Simon Chu , Emma Shedden , Changjian Zhang Carnegie Mellon University, Rômulo Meira-Góes Carnegie Mellon University, Gabriel A. Moreno Carnegie Mellon University Software Engineering Institute, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
Pre-print
11:50
15m
Short-paper
Architecture-based Uncertainty Impact Analysis to ensure Confidentiality
Research Track
Sebastian Hahner Karlsruhe Institute of Technology (KIT), Robert Heinrich Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
12:05
25m
Paper
Preference Adaptation: user satisfaction is all you need!
Research Track
NIANYU LI Peking University, China, Mingyue Zhang Peking University, China, Jialong Li Waseda University, Japan, Eunsuk Kang Carnegie Mellon University, Kenji Tei Waseda University
Pre-print