Self-Managed Systems: an Architectural Challenge

Kramer, Jeff; Magee, Jeff

doi:10.1109/fose.2007.19

Cited by 652 publications

(526 citation statements)

References 11 publications

Supporting

Mentioning

514

Contrasting

Unclassified

Order By: Relevance

“…and recently also in the software engineering field [5,25]. In particular, approaches spanning software architecture [8], service-oriented applications [11,9], pervasive applications [26] and autonomic systems [4] have been recently proposed.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Towards Self-adaptation for Dependable Service-Oriented Systems

Cardellini

Casalicchio

Grassi

et al. 2009

Architecting Dependable Systems VI

View full text Add to dashboard Cite

Abstract. Increasingly complex information systems operating in dynamic environments ask for management policies able to deal intelligently and autonomously with problems and tasks. An attempt to deal with these aspects can be found in the Service-Oriented Architecture (SOA) paradigm that foresees the creation of business applications from independently developed services, where services and applications build up complex dependencies. Therefore the dependability of SOA systems strongly depends on their ability to self-manage and adapt themselves to cope with changes in the operating conditions and to meet the required dependability with a minimum of resources. In this paper we propose a model-based approach to the realization of self-adaptable SOA systems, aimed at the fulfillment of dependability requirements. Specifically, we provide a methodology driving the system adaptation and we discuss the architectural issues related to its implementation. To bring this approach to fruition, we developed a prototype tool and we show the results that can be achieved with a simple example.

show abstract

Section: Related Workmentioning

confidence: 99%

“…Some general proposals about how to architect a self-adaptable software system have already appeared [6][7][8][9]. These proposals suggest architectural frameworks which can be used to support the implementation of suitable adaptation methodologies, possibly tailored to specific application domains.…”

Section: Introductionmentioning

confidence: 99%

Towards Self-adaptation for Dependable Service-Oriented Systems

Cardellini

Casalicchio

Grassi

et al. 2009

Architecting Dependable Systems VI

View full text Add to dashboard Cite

show abstract

“…In response to this challenge, current Software Engineering aims at designing Self-Adaptive Systems which are able to react and reconfigure themselves minimizing human intervention and ideally guaranteeing a lifelong requirement fulfillment. To date, Software Engineering research in self-adaptive systems has produced promising initial results, as illustrated for example in [24]. However, even if these findings provide an essential step towards a set of effective and efficient solutions for self-adaptation, they are not the end of the story as building these dependable systems is still unclear and requires further investigation.…”

Section: Introductionmentioning

confidence: 99%

Probabilistic Verification at Runtime for Self-Adaptive Systems

Filieri

Tamburrelli

2013

Assurances for Self-Adaptive Systems

View full text Add to dashboard Cite

Abstract. An effective design of effective and efficient self-adaptive systems may rely on several existing approaches. Software models and model checking techniques at run time represent one of them since they support automatic reasoning about such changes, detect harmful configurations, and potentially enable appropriate (self-)reactions. However, traditional model checking techniques and tools may not be applied as they are at run time, since they hardly meet the constraints imposed by on-the-fly analysis, in terms of execution time and memory occupation. For this reason, efficient run-time model checking represents a crucial research challenge. This paper precisely addresses this issue and focuses on probabilistic run-time model checking in which reliability models are given in terms of Discrete Time Markov Chains which are verified at run-time against a set of requirements expressed as logical formulae. In particular, the paper discusses the use of probabilistic model checking at run-time for selfadaptive systems by surveying and comparing the existing approaches divided in two categories: state-elimination algorithms and algebra-based algorithms. The discussion is supported by a realistic example and by empirical experiments.

show abstract

“…Sykes et al [14] propose a three-layer architecture for self-managed software [15] that combines the notion of goal with software components. This approach is based on a sense-plan-act architecture made up of three layers: goal management layer defines system goals, change management layer executes plans and assembles a configuration of software components, component layer handles reactive control concerns of the components.…”

Section: Related Workmentioning

confidence: 99%

An Architecture for Requirements-Driven Self-reconfiguration

Dalpiaz

Giorgini

Mylopoulos

2009

Notes on Numerical Fluid Mechanics and Multidisciplinary Design

View full text Add to dashboard Cite

Abstract. Self-reconfiguration is the capability of a system to autonomously switch from one configuration to a better one in response to failure or context change. There is growing demand for software systems able to self-reconfigure, and specifically systems that can fulfill their requirements in dynamic environments. We propose a conceptual architecture that provides systems with selfreconfiguration capabilities, enacting a model-based adaptation process based on requirements models. We describe the logical view on our architecture for selfreconfiguration, then we detail the main mechanisms to monitor for and diagnose failures. We present a case study where a self-reconfiguring system assists a patient perform daily tasks, such as getting breakfast, within her home. The challenge for the system is to fulfill its mission regardless of the context, also to compensate for failures caused by patient inaction or other omissions in the environment of the system.

show abstract

Self-Managed Systems: an Architectural Challenge

Cited by 652 publications

References 11 publications

Towards Self-adaptation for Dependable Service-Oriented Systems

Towards Self-adaptation for Dependable Service-Oriented Systems

Probabilistic Verification at Runtime for Self-Adaptive Systems

An Architecture for Requirements-Driven Self-reconfiguration

Contact Info

Product

Resources

About