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

To accurately make adaptation decisions, a self-adaptive system needs precise means to analyze itself at runtime. To this end, runtime verification can be used in the feedback loop to check that the managed system satisfies its requirements formalized as temporal-logic properties. These requirements, however, may change due to system evolution or uncertainty in the environment, managed system, and requirements themselves. Thus, the properties under investigation by the runtime verification have to be dynamically adapted to represent the changing requirements while preserving the knowledge about requirements satisfaction gathered thus far, all with minimal latency. To address this need, we present a runtime verification approach for self-adaptive systems with changing requirements. Our approach uses property specification patterns to automatically obtain automata with precise semantics that are the basis for runtime verification. The automata can be safely adapted during runtime verification while preserving intermediate verification results to seamlessly reflect requirement changes and enable continuous verification. We evaluate our approach on an Arduino prototype of the Body Sensor Network and the Timescales benchmark. Results show that our approach is over five times faster than the typical approach of redeploying and restarting runtime monitors to reflect requirements changes, while improving the system’s trustworthiness by avoiding interruptions of verification.

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