No abstract available.
Software Engineering for Self-Adaptive Systems: A Research Roadmap
- Betty H. Cheng,
- Rogério Lemos,
- Holger Giese,
- Paola Inverardi,
- Jeff Magee,
- Jesper Andersson,
- Basil Becker,
- Nelly Bencomo,
- Yuriy Brun,
- Bojan Cukic,
- Giovanna Marzo Serugendo,
- Schahram Dustdar,
- Anthony Finkelstein,
- Cristina Gacek,
- Kurt Geihs,
- Vincenzo Grassi,
- Gabor Karsai,
- Holger M. Kienle,
- Jeff Kramer,
- Marin Litoiu,
- Sam Malek,
- Raffaela Mirandola,
- Hausi A. Müller,
- Sooyong Park,
- Mary Shaw,
- Matthias Tichy,
- Massimo Tivoli,
- Danny Weyns,
- Jon Whittle
The goal of this roadmap paper is to summarize the state-of-the-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. The paper is partitioned into four parts, one for each of the identified essential ...
Modeling Dimensions of Self-Adaptive Software Systems
It is commonly agreed that a self-adaptive software system is one that can modify itself at run-time due to changes in the system, its requirements, or the environment in which it is deployed. A cursory review of the software engineering literature ...
Engineering Self-Adaptive Systems through Feedback Loops
- Yuriy Brun,
- Giovanna Marzo Serugendo,
- Cristina Gacek,
- Holger Giese,
- Holger Kienle,
- Marin Litoiu,
- Hausi Müller,
- Mauro Pezzè,
- Mary Shaw
To deal with the increasing complexity of software systems and uncertainty of their environments, software engineers have turned to self-adaptivity. Self-adaptive systems are capable of dealing with a continuously changing environment and emerging ...
Improving Architecture-Based Self-Adaptation through Resource Prediction
An increasingly important concern for modern systems design is how best to incorporate self-adaptation into systems so as to improve their ability to dynamically respond to faults, resource variation, and changing user needs. One promising approach is ...
Policy-Based Architectural Adaptation Management: Robotics Domain Case Studies
Robotics is a challenging domain that exhibits a clear need for self-adaptive capabilities, as self-adaptation offers the potential for robots to account for their unstable and unpredictable deployment environments. This paper focuses on two case ...
A Case Study in Goal-Driven Architectural Adaptation
To operate reliably in environments where interaction with an operator is infrequent or undesirable, an autonomous system should be capable of both determining how to achieve its objectives and adapting to novel circumstances on its own. We have ...
Model-Centric, Context-Aware Software Adaptation
Software must be constantly adapted to changing requirements. The time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation to long-term, coarse-grained evolution. Fine-grained, dynamic and context-...
Modeling of Context-Aware Self-Adaptive Applications in Ubiquitous and Service-Oriented Environments
Mobile computing in ubiquitous environments has to cope with both predictable and unpredictable changes in the execution context, which introduces the need for context-aware adaptive applications. Such environments are also characterized by dynamically ...
MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments
- Romain Rouvoy,
- Paolo Barone,
- Yun Ding,
- Frank Eliassen,
- Svein Hallsteinsen,
- Jorge Lorenzo,
- Alessandro Mamelli,
- Ulrich Scholz
Self-adaptive component-based architectures facilitate the building of systems capable of dynamically adapting to varying execution context. Such a dynamic adaptation is particularly relevant in the domain of ubiquitous computing, where numerous and ...
Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during development. In the MDE area, the level of abstraction of models has frequently ...
Model-Driven Assessment of QoS-Aware Self-Adaptation
One of the main goals of a self-adaptable software system is to meet the required Quality of Service (QoS) by autonomously modifying its structure/behavior in response to changes in the supporting infrastructure and surrounding physical environment. A ...
Automatic Generation of Runtime Failure Detectors from Property Templates
Fine grained error or failure detection is often indispensable for precise, effective, and efficient reactions to runtime problems. In this chapter we describe an approach that facilitates automatic generation of efficient runtime detectors for relevant ...
Using Filtered Cartesian Flattening and Microrebooting to Build Enterprise Applications with Self-adaptive Healing
Building enterprise applications that can self-adapt to eliminate component failures is hard. Existing approaches for building adaptive applications exhibit significant limitations, such as requiring developers to manually handle healing side-effects, ...
Cited By
Cailliau A and Lamsweerde A (2019). Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals, ACM Transactions on Autonomous and Adaptive Systems, 14:1, (1-40), Online publication date: 18-Sep-2019.- Shevtsov S, Berekmeri M, Weyns D and Maggio M (2018). Control-Theoretical Software Adaptation, IEEE Transactions on Software Engineering, 44:8, (784-810), Online publication date: 1-Aug-2018.
- Carvalho R, Andrade R and de Oliveira K (2018). AQUArIUM - A suite of software measures for HCI quality evaluation of ubiquitous mobile applications, Journal of Systems and Software, 136:C, (101-136), Online publication date: 1-Feb-2018.
- Cailliau A and van Lamsweerde A Runtime monitoring and resolution of probabilistic obstacles to system goals Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (1-11)
- Sabatucci L, Lopes S and Cossentino M (2017). Self-configuring cloud application mashup with goals and capabilities, Cluster Computing, 20:3, (2047-2063), Online publication date: 1-Sep-2017.
- Han D, Yang Q, Xing J, Li J and Wang H (2016). FAME, Information and Software Technology, 76:C, (118-134), Online publication date: 1-Aug-2016.
- Alegre U, Augusto J and Clark T (2016). Engineering context-aware systems and applications, Journal of Systems and Software, 117:C, (55-83), Online publication date: 1-Jul-2016.
- Groenewegen L, Kuiper R and Vink E Towards a Proof Method for Paradigm Essays Dedicated to Frank de Boer on Theory and Practice of Formal Methods - Volume 9660, (242-260)
- Cámara J, Correia P, de Lemos R, Garlan D, Gomes P, Schmerl B and Ventura R (2016). Incorporating architecture-based self-adaptation into an adaptive industrial software system, Journal of Systems and Software, 122:C, (507-523), Online publication date: 1-Dec-2016.
- Kaya M, Koçyiğit A and Eren P (2016). An adaptive mobile cloud computing framework using a call graph based model, Journal of Network and Computer Applications, 65:C, (12-35), Online publication date: 1-Apr-2016.
- Uchitel S, Braberman V and D'Ippolito N Runtime controller synthesis for self-adaptation Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (1-3)
- Dutt N, Jantsch A and Sarma S (2016). Toward Smart Embedded Systems, ACM Transactions on Embedded Computing Systems, 15:2, (1-27), Online publication date: 7-Jun-2016.
- Gerostathopoulos I, Bures T, Hnetynka P, Keznikl J, Kit M, Plasil F and Plouzeau N (2016). Self-adaptation in software-intensive cyber-physical systems, Journal of Systems and Software, 122:C, (378-397), Online publication date: 1-Dec-2016.
- Arcaini P, Riccobene E and Scandurra P Modeling and analyzing MAPE-K feedback loops for self-adaptation Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (13-23)
- Arcaini P, Riccobene E and Scandurra P (2015). Modeling and validating self-adaptive service-oriented applications, ACM SIGAPP Applied Computing Review, 15:3, (35-48), Online publication date: 13-Oct-2015.
- Jureta I, Borgida A, Ernst N and Mylopoulos J (2014). The Requirements Problem for Adaptive Systems, ACM Transactions on Management Information Systems, 5:3, (1-33), Online publication date: 22-Jan-2015.
- Bergen A, Desmarais R, Ganti S and Stege U Towards software-adaptive green computing based on server power consumption Proceedings of the 3rd International Workshop on Green and Sustainable Software, (9-16)
- Ewing J and Menascé D A meta-controller method for improving run-time self-architecting in SOA systems Proceedings of the 5th ACM/SPEC international conference on Performance engineering, (173-184)
- Ingolfo S and Souza V Law and adaptivity in requirements engineering Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (163-168)
- Zhang L, Sun H, Ma X, Xu C and Lu J Challenges in developing software for cyber-physical systems Proceedings of the 5th Asia-Pacific Symposium on Internetware, (1-10)
- Zhao T, Zhao H and Zhang W A preliminary study on requirements modeling methods for self-adaptive software systems Proceedings of the 5th Asia-Pacific Symposium on Internetware, (1-10)
- Romay M, Cuesta C and Fernández-Sanz L On self-adaptation in systems-of-systems Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, (29-34)
- Fredericks E, Ramirez A and Cheng B Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty Proceedings of the 5th International Symposium on Search Based Software Engineering - Volume 8084, (81-95)
- Filieri A and Ghezzi C Further steps towards efficient runtime verification Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, (2-8)
- Marzolla M Optimizing the energy consumption of large-scale applications Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, (123-132)
- Malakuti S, te Brinke S, Bermans L and Bockisch C Towards modular resource-aware applications Proceedings of the 3rd international workshop on Variability & Composition, (13-18)
- Mori M, Li F, Dorn C, Inverardi P and Dustdar S Leveraging state-based user preferences in context-aware reconfigurations for self-adaptive systems Proceedings of the 9th international conference on Software engineering and formal methods, (286-301)
- Fugini M, Pinardi S and Raibulet C Smart solutions for risk prevention through analysis of people movements Proceedings of the 6th international conference on Grid and Pervasive Computing, (3-13)
- Le T, Hermant O, Manceny M and Pawlak R Dynamic adaptation through event reconfiguration Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems, (637-646)
- Mori M A software lifecycle process for context-aware adaptive systems Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, (412-415)
- Inverardi P and Mori M Model checking requirements at run-time in adaptive systems Proceedings of the 8th workshop on Assurances for self-adaptive systems, (5-9)
- Perez-Palacin D, Mirandola R and Merseguer J Software architecture adaptability metrics for QoS-based self-adaptation Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, (171-176)
- Guinea S and Spoletini P Evaluating the compatibility of conversational service interactions Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, (29-35)
- Baresi L and Guinea S A3 Proceedings of the 4th India Software Engineering Conference, (11-20)
- Marzolla M and Mirandola R Performance aware reconfiguration of software systems Proceedings of the 7th European performance engineering conference on Computer performance engineering, (51-66)
- Gabriele A, Lupone M, Inverardi P and Pelliccione P Ad-opera Proceedings of the FSE/SDP workshop on Future of software engineering research, (119-124)
- Autili M, Di Benedetto P and Inverardi P A programming model for adaptable Java applications Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, (119-128)
- Kaddoum E, Raibulet C, Georgé J, Picard G and Gleizes M Criteria for the evaluation of self-* systems Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, (29-38)
Index Terms
- Software Engineering for Self-Adaptive Systems
Reviews
Michele Mazzucco
The trend toward larger and more complex computing systems makes self-adaptation-the ability to dynamically adapt to changes in the operating environment-a very important topic in the context of software engineering (SE). Including the opening roadmap paper, this book presents 13 papers written by experts in the area of SE and adaptive systems. The book is divided into four parts: "Research Roadmap," "Architecture-Based Self-Adaptation," "Context-Aware and Model-Driven Self-Adaptation," and "Self-Healing." The first part includes three papers that describe the state of the art and existing challenges, formalize the terminology, and discuss feedback control loops as the basic building block for constructing self-adaptive systems. The second part consists of three papers that describe architectural models, as a basis for developing self-adaptive systems. For example, "Improving architecture-based self-adaptation through resource prediction" compares the reactive approach currently used to build self-* systems (that is, the system responds to problems once they occur) with an anticipatory approach, called Rainbow, in which the system collects statistical information and monitors some metrics in order to predict changes. Part 3 includes five papers that discuss context-aware self-adaptability. For example, "Model-driven assessment of QoS-aware self-adaptation" shows how self-adaptive software can be effectively used to help computing systems meet quality of service (QoS) requirements. Another important aspect of the design and development of such systems is evaluating their cost-effectiveness (that is, how expensive the system reconfigurations are). The paper introduces a model-driven approach based on a Markov/semi-Markov reward model that aims to help assess self-adaptive systems in terms of performance, as well as dependability attributes. Finally, Part 4 focuses on self-healing properties of computing systems. The first paper, "Automatic generation of runtime failure detectors from property templates," discusses a novel "approach that facilitates automatic generation of efficient runtime detectors for relevant classes of functional problems." The second paper, "Using filtered Cartesian flattening and micro rebooting to build enterprise applications with self-adaptive healing," is based on the assumption that building robust enterprise applications is very hard. It discusses Refresh, a micro rebooting technique that includes models and heuristics to derive the correct configuration settings of a system, and an application container capable of rebooting faulty subsystems, with a fresh and correct configuration. The paper evaluates the performance of the proposed methodology experimentally; the results show that it can successfully restart failed components in about 150 milliseconds. Overall, the book is well structured. It should be interesting to an academic audience. Online Computing Reviews Service
Access critical reviews of Computing literature here
Become a reviewer for Computing Reviews.
Recommendations
Engineering Self-Adaptive Systems through Feedback Loops
Software Engineering for Self-Adaptive SystemsTo deal with the increasing complexity of software systems and uncertainty of their environments, software engineers have turned to self-adaptivity. Self-adaptive systems are capable of dealing with a continuously changing environment and emerging ...
Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects
Smart Cyber-Physical Systems (sCPS) are a novel kind of Cyber- Physical Systems engineered to take advantage of large-scale cooperation between devices, users and environment to achieve added value in face of uncertainty and various situations in their ...