Corpus ID: 1832040

Hybrid Planning For Self-Adaptation

  title={Hybrid Planning For Self-Adaptation},
  author={Ashutosh Pandey and David Garlan},
Self-adaptive software systems make decisions at run time that seek to change their behavior in response to faults, changing environments and attacks. Therefore, having an appropriate decision making approach to find an adaptation strategy is critical to successful self-adaptation. Ideally, when an adaptation is triggered, one would like to have a decision making approach that is both quick and finds an optimal adaptation strategy. However, often designers have to compromise between an approach… Expand
1 Citations

Figures from this paper

Towards a framework for managing inconsistencies in systems of systems
This paper presents a framework for conflict management in Systems of Systems (SoSs), and uses an example SoS ecosystem designed to support food security at different levels of granularity. Expand


Proactive self-adaptation under uncertainty: a probabilistic model checking approach
The key idea is to use a formal model of the adaptive system in which the adaptation decision is left underspecified through nondeterminism, and have the model checker resolve the nondeterministic choices so that the accumulated utility over the horizon is maximized. Expand
Dynamic plans for integration testing of self-adaptive software systems
This paper presents an approach for the dynamic generation of plans for conducting the integration testing of self-adaptive software systems and develops a prototype application that has been used to conduct some experiments, and to demonstrate the feasibility of the approach. Expand
Stitch: A language for architecture-based self-adaptation
Stitch is presented, a language for representing repair strategies within the context of an architecture-based self-adaptation framework that supports the explicit representation of repair decision trees together with the ability to express business objectives, allowing a self- Adaptive system to select a strategy that has optimal utility in a given context, even in the presence of potential timing delays and outcome uncertainty. Expand
Optimal planning for architecture-based self-adaptation via model checking of stochastic games
This paper proposes an approach to optimal adaptation plan generation for architecture-based self-adaptation via model checking of stochastic multiplayer games (SMGs), which enables trade-off analysis among different qualities by means of utility functions and preferences and explicit modeling of uncertainty in the outcome of adaptation actions and the behavior of the environment. Expand
Self-adaptive systems: A survey of current approaches, research challenges and applications
This study reviews recent progress on self-adaptivity from the standpoint of computer sciences and cybernetics, based on the analysis of state-of-the-art approaches reported in the literature, and identifies the main bottlenecks for the effective application of self- Adaptivity. Expand
Plan-directed architectural change for autonomous systems
This work considers the challenges in providing an autonomous system with the capability to direct its own adaptation, and describes an initial implementation where change in the software architecture of anonomous system is enacted as a result of executing a reactive plan. Expand
PLASMA: a plan-based layered architecture for software model-driven adaptation
The ability to automatically generate adaptation plans based solely on ADL models and an application problem description simplifies the specification and use of adaptation mechanisms for system architects. Expand
Rainbow: architecture-based self-adaptation with reusable infrastructure
The Rainbow framework uses software architectural models to dynamically monitor and adapt a running system and shows that the separation of a generic adaptation infrastructure from system-specific adaptation knowledge makes this reuse possible. Expand
Self-Managed Systems: an Architectural Challenge
Some of the current promising work in self-management is discussed and an outline three-layer reference model is presented as a context in which to articulate some of the main outstanding research challenges. Expand
World Modeling for the Dynamic Construction of Real-Time Control Plans
The formal model of agent/environment interactions that CIRCA uses to build control plans is described, and it is shown how those control plans are guaranteed to meet domain requirements. Expand