Self-adaptive systems: A systematic literature review across categories and domains
Context: Championed by IBM's vision of autonomic computing paper in 2003, the autonomic
computing research field has seen increased research activity over the last 20 years …
computing research field has seen increased research activity over the last 20 years …
Online reinforcement learning for self-adaptive information systems
A self-adaptive information system is capable of maintaining its quality requirements in the
presence of dynamic environment changes. To develop a self-adaptive information system …
presence of dynamic environment changes. To develop a self-adaptive information system …
Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking
The major challenge in mobile agent path planning, within an uncertain environment, is
effectively determining an optimal control model to discover the target location as quickly as …
effectively determining an optimal control model to discover the target location as quickly as …
Quality evaluation of self-adaptive systems: Challenges and opportunities
Self-adaptive systems (SAS) can adapt their behavior to suit user preferences or contexts, as
well as monitor their performance and adjust it if necessary. In addition to adaptation …
well as monitor their performance and adjust it if necessary. In addition to adaptation …
Reliability-driven automotive software deployment based on a parametrizable probabilistic model checking
A Baouya, OA Mohamed, S Ouchani… - Expert Systems with …, 2021 - Elsevier
Embedded systems span a wide range from a small platform of sensors and actuators to
distributed systems combining several interacting nodes. Designing such systems includes …
distributed systems combining several interacting nodes. Designing such systems includes …
Efficient utility-driven self-healing employing adaptation rules for large dynamic architectures
Self-adaptation can be realized in various ways. Rule-based approaches prescribe the
adaptation to be executed if the system or environment satisfy certain conditions and result …
adaptation to be executed if the system or environment satisfy certain conditions and result …
Quantitative verification with adaptive uncertainty reduction
Stochastic models are widely used to verify whether systems satisfy their reliability,
performance and other nonfunctional requirements. However, the validity of the verification …
performance and other nonfunctional requirements. However, the validity of the verification …
Observation-enhanced QoS analysis of component-based systems
C Paterson, R Calinescu - IEEE Transactions on Software …, 2018 - ieeexplore.ieee.org
We present a new method for the accurate analysis of the quality-of-service (QoS) properties
of component-based systems. Our method takes as input a QoS property of interest and a …
of component-based systems. Our method takes as input a QoS property of interest and a …
Improving scalability and reward of utility-driven self-healing for large dynamic architectures
Self-adaptation can be realized in various ways. Rule-based approaches prescribe the
adaptation to be executed if the system or environment satisfies certain conditions. They …
adaptation to be executed if the system or environment satisfies certain conditions. They …
Learning and analysis of sensors behavior in IoT systems using statistical model checking
Analyzing the behavior of sensors is becoming one of the key challenges due to their
increasing use for decision making in IoT systems. The paper proposes an approach for a …
increasing use for decision making in IoT systems. The paper proposes an approach for a …