Runtime Verification of Self-Adaptive Systems with Changing Requirements
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 MayDisplayed 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 25mPaper | 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 25mPaper | 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 15mShort-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 25mPaper | 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 |