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.
Mar 29, 2023
Mar 29, 2023 · First, we introduce the Property Specification and Adaptation Patterns for runtime verification. Then, we detail how our approach uses these.
We present a runtime verification approach for self-adaptive systems with changing requirements. Our approach uses property specification patterns to ...
Runtime Verification of Multi-Agent Self-Adaptive System - IEEE Xplore
ieeexplore.ieee.org › document
The characteristic of this method is to convert the environmental impact factors in the multi-agent system into a probabilistic form, and perform runtime ...
Software validation and verification (V&V) ensures that software products satisfy user requirements and meet their expected quality attributes throughout ...
Dec 2, 2023 · This paper proposes a runtime verification method for self-adaptive multi-agent systems using probabilistic timed automata. The method ...
Abstract—Self-adaptive systems can adapt to environmental changes by modifying their behavior and require runtime verification after adaptation.
Mar 31, 2023 · Runtime Verification is a well-known technique to analyse if a running system satisfies its requirements formally.
Continually verify self-adaptation decisions taken by critical software in response to changes in the operating environment.
In this paper, we propose an approximation framework to efficiently approximate the entire model of a self-adaptive system.