Run-time Models for Self-managing Systems and Applications

Run-time Models for Self-managing Systems and Applications PDF Author: Danilo Ardagna
Publisher: Springer Science & Business Media
ISBN: 3034604335
Category : Computers
Languages : en
Pages : 182

Get Book Here

Book Description
The complexity of Information Technology (IT) systems has been steadily incre- ing in the past decades. In October 2001, IBM released the “Autonomic Computing Manifesto” observing that current applications have reached the size of millions of lines of code, while physical infrastructures include thousands of heterogeneous servers requiring skilled IT professionals to install, con?gure, tune, and maintain. System complexity has been recognized as the main obstacle to the further advan- ment of IT technology. The basic idea of Autonomic Computing is to develop IT systems that are able to manage themselves, as the human autonomic nervous system governs basic body functions such as heart rate or body temperature, thus freeing the conscious brain— IT administrators—from the burden of dealing with low-level vital functions. Autonomic Computing systems can be implemented by introducing autonomic controllers which continuously monitor, analyze, plan, and execute (the famous MAPE cycle) recon?guration actions on the system components. Monitoring acti- ties are deployed to measure the workload and performance metrics of each running component so as to identify system faults. The goal of the analysis activities is to determine the status of components from the monitoring data, and to forecast - ture conditions based on historical observations. Finally, plan and execute activities aim at deciding and actuating the next system con?guration, for example, deciding whether to accept or reject new requests, determining the best application to servers assignment, in order to the achieve the self-optimization goals.

Run-time Models for Self-managing Systems and Applications

Run-time Models for Self-managing Systems and Applications PDF Author: Danilo Ardagna
Publisher: Springer Science & Business Media
ISBN: 3034604335
Category : Computers
Languages : en
Pages : 182

Get Book Here

Book Description
The complexity of Information Technology (IT) systems has been steadily incre- ing in the past decades. In October 2001, IBM released the “Autonomic Computing Manifesto” observing that current applications have reached the size of millions of lines of code, while physical infrastructures include thousands of heterogeneous servers requiring skilled IT professionals to install, con?gure, tune, and maintain. System complexity has been recognized as the main obstacle to the further advan- ment of IT technology. The basic idea of Autonomic Computing is to develop IT systems that are able to manage themselves, as the human autonomic nervous system governs basic body functions such as heart rate or body temperature, thus freeing the conscious brain— IT administrators—from the burden of dealing with low-level vital functions. Autonomic Computing systems can be implemented by introducing autonomic controllers which continuously monitor, analyze, plan, and execute (the famous MAPE cycle) recon?guration actions on the system components. Monitoring acti- ties are deployed to measure the workload and performance metrics of each running component so as to identify system faults. The goal of the analysis activities is to determine the status of components from the monitoring data, and to forecast - ture conditions based on historical observations. Finally, plan and execute activities aim at deciding and actuating the next system con?guration, for example, deciding whether to accept or reject new requests, determining the best application to servers assignment, in order to the achieve the self-optimization goals.

[email protected]

Models@run.time PDF Author: Nelly Bencomo
Publisher: Springer
ISBN: 9783319089140
Category : Computers
Languages : en
Pages : 319

Get Book Here

Book Description
Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems. This book is one of the outcomes of the Dagstuhl Seminar 11481 on [email protected] held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.

Self-Aware Computing Systems

Self-Aware Computing Systems PDF Author: Samuel Kounev
Publisher: Springer
ISBN: 331947474X
Category : Computers
Languages : en
Pages : 720

Get Book Here

Book Description
This book provides formal and informal definitions and taxonomies for self-aware computing systems, and explains how self-aware computing relates to many existing subfields of computer science, especially software engineering. It describes architectures and algorithms for self-aware systems as well as the benefits and pitfalls of self-awareness, and reviews much of the latest relevant research across a wide array of disciplines, including open research challenges. The chapters of this book are organized into five parts: Introduction, System Architectures, Methods and Algorithms, Applications and Case Studies, and Outlook. Part I offers an introduction that defines self-aware computing systems from multiple perspectives, and establishes a formal definition, a taxonomy and a set of reference scenarios that help to unify the remaining chapters. Next, Part II explores architectures for self-aware computing systems, such as generic concepts and notations that allow a wide range of self-aware system architectures to be described and compared with both isolated and interacting systems. It also reviews the current state of reference architectures, architectural frameworks, and languages for self-aware systems. Part III focuses on methods and algorithms for self-aware computing systems by addressing issues pertaining to system design, like modeling, synthesis and verification. It also examines topics such as adaptation, benchmarks and metrics. Part IV then presents applications and case studies in various domains including cloud computing, data centers, cyber-physical systems, and the degree to which self-aware computing approaches have been adopted within those domains. Lastly, Part V surveys open challenges and future research directions for self-aware computing systems. It can be used as a handbook for professionals and researchers working in areas related to self-aware computing, and can also serve as an advanced textbook for lecturers and postgraduate students studying subjects like advanced software engineering, autonomic computing, self-adaptive systems, and data-center resource management. Each chapter is largely self-contained, and offers plenty of references for anyone wishing to pursue the topic more deeply.

Software Engineering for Self-Adaptive Systems III. Assurances

Software Engineering for Self-Adaptive Systems III. Assurances PDF Author: Rogério de Lemos
Publisher: Springer
ISBN: 3319741837
Category : Computers
Languages : en
Pages : 440

Get Book Here

Book Description
A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip the software system with self-adaptation capabilities. Despite recent advances in this area, one key aspect that remains to be tackled in depth is the provision of assurances. Originating from a Dagstuhl seminar held in December 2013, this book constitutes the third volume in the series “Software Engineering for Self-Adaptive Systems”, and looks specifically into the provision of assurances. Opening with an overview chapter on Research Challenges, the book presents 13 further chapters written and carefully reviewed by internationally leading researchers in the field. The book is divided into topical sections on research challenges, evaluation, integration and coordination, and reference architectures and platforms.

Proceedings of the ... Ph. D. Retreat of the HPI Research School on Service-Oriented Systems Engineering

Proceedings of the ... Ph. D. Retreat of the HPI Research School on Service-Oriented Systems Engineering PDF Author: Christoph Meinel
Publisher: Universitätsverlag Potsdam
ISBN: 3869561297
Category : Computers
Languages : en
Pages : 240

Get Book Here

Book Description


[email protected]

Models@run.time PDF Author: Nelly Bencomo
Publisher: Springer
ISBN: 3319089153
Category : Computers
Languages : en
Pages : 329

Get Book Here

Book Description
Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems. This book is one of the outcomes of the Dagstuhl Seminar 11481 on [email protected] held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.

Linear Parameter-Varying and Time-Delay Systems

Linear Parameter-Varying and Time-Delay Systems PDF Author: Corentin Briat
Publisher: Springer
ISBN: 3662440504
Category : Technology & Engineering
Languages : en
Pages : 412

Get Book Here

Book Description
This book provides an introduction to the analysis and control of Linear Parameter-Varying Systems and Time-Delay Systems and their interactions. The purpose is to give the readers some fundamental theoretical background on these topics and to give more insights on the possible applications of these theories. This self-contained monograph is written in an accessible way for readers ranging from undergraduate/PhD students to engineers and researchers willing to know more about the fields of time-delay systems, parameter-varying systems, robust analysis, robust control, gain-scheduling techniques in the LPV fashion and LMI based approaches. The only prerequisites are basic knowledge in linear algebra, ordinary differential equations and (linear) dynamical systems. Most of the results are proved unless the proof is too complex or not necessary for a good understanding of the results. In the latter cases, suitable references are systematically provided. The first part pertains on the representation, analysis and control of LPV systems along with a reminder on robust analysis and control techniques. The second part is concerned with the representation and analysis of time-delay systems using various time-domain techniques. The third and last part is devoted to the representation, analysis, observation, filtering and control of LPV time-delay systems. The book also presents many important basic and advanced results on the manipulation of LMIs.

Models in Software Engineering

Models in Software Engineering PDF Author: Juergen Dingel
Publisher: Springer
ISBN: 3642212107
Category : Computers
Languages : en
Pages : 427

Get Book Here

Book Description
This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2010, held in Oslo, Norway, in October 2010. Besides the 21 revised best papers selected from 12 topically focused workshops, the post-proceedings also covers the doctoral symposium and the educators symposium; each of the 14 satellite events covered is introduced by a summary of the respective organizers. All relevant current aspects in model-based systems design and analysis are addressed. This book is the companion of the MODELS 2010 main conference proceedings LNCS 6394/6395.

Modeling and Simulating Software Architectures

Modeling and Simulating Software Architectures PDF Author: Ralf H. Reussner
Publisher: MIT Press
ISBN: 0262336790
Category : Computers
Languages : en
Pages : 398

Get Book Here

Book Description
A new, quantitative architecture simulation approach to software design that circumvents costly testing cycles by modeling quality of service in early design states. Too often, software designers lack an understanding of the effect of design decisions on such quality attributes as performance and reliability. This necessitates costly trial-and-error testing cycles, delaying or complicating rollout. This book presents a new, quantitative architecture simulation approach to software design, which allows software engineers to model quality of service in early design stages. It presents the first simulator for software architectures, Palladio, and shows students and professionals how to model reusable, parametrized components and configured, deployed systems in order to analyze service attributes. The text details the key concepts of Palladio's domain-specific modeling language for software architecture quality and presents the corresponding development stage. It describes how quality information can be used to calibrate architecture models from which detailed simulation models are automatically derived for quality predictions. Readers will learn how to approach systematically questions about scalability, hardware resources, and efficiency. The text features a running example to illustrate tasks and methods as well as three case studies from industry. Each chapter ends with exercises, suggestions for further reading, and “takeaways” that summarize the key points of the chapter. The simulator can be downloaded from a companion website, which offers additional material. The book can be used in graduate courses on software architecture, quality engineering, or performance engineering. It will also be an essential resource for software architects and software engineers and for practitioners who want to apply Palladio in industrial settings.

Computer Performance Engineering

Computer Performance Engineering PDF Author: Marta Beltrán
Publisher: Springer
ISBN: 3319232673
Category : Computers
Languages : en
Pages : 309

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015, held in Madrid, Spain, in August/September 2015. The 19 papers presented in this volume were carefully reviewed and selected from 39 submissions. They were organized in topical sections named: applications; modelling techniques, software performance, and simulation techniques.