Software Engineering for Self-Adaptive Systems III. Assurances

1. Front Matter

   Pages I-X

   PDF

2. Research Challenges

   1. Front Matter

      Pages 1-1

      PDF

   2. Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances

      • Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu et al.

      Pages 3-30

   3. Perpetual Assurances for Self-Adaptive Systems

      • Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Camara, Carlo Ghezzi, Vincenzo Grassi et al.

      Pages 31-63

   4. Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems

      • Bradley Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecilia M. F. Rubira, Yuriy Brun et al.

      Pages 64-89

   5. What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?

      • Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, Holger Giese et al.

      Pages 90-134

3. Evaluation

   1. Front Matter

      Pages 135-135

      PDF

   2. MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems

      • Amir Molzam Sharifloo, Andreas Metzger

      Pages 137-153

   3. Analyzing Self-Adaptation Via Model Checking of Stochastic Games

      • Javier Cámara, David Garlan, Gabriel A. Moreno, Bradley Schmerl

      Pages 154-187

   4. An Approach for Isolated Testing of Self-Organization Algorithms

      • Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif

      Pages 188-222

   5. Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software

      • Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson

      Pages 223-248

4. Integration and Coordination

   1. Front Matter

      Pages 249-249

      PDF

   2. Contracts-Based Control Integration into Software Systems

      • Filip Křikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier

      Pages 251-281

   3. Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution

      • Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli

      Pages 282-306

   4. Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems

      • Nicolás Cardozo, Kim Mens, Siobhán Clarke

      Pages 307-348

   5. Feedback Control as MAPE-K Loop in Autonomic Computing

      • Eric Rutten, Nicolas Marchand, Daniel Simon

      Pages 349-373

5. Reference Architectures and Platforms

   1. Front Matter

      Pages 375-375

      PDF

   2. An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation

      • Victor Braberman, Nicolas D’Ippolito, Jeff Kramer, Daniel Sykes, Sebastian Uchitel

      Pages 377-408

   3. MOSES: A Platform for Experimenting with QoS-Driven Self-Adaptation Policies for Service Oriented Systems

      • Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Stefano Iannucci, Francesco Lo Presti, Raffaela Mirandola

      Pages 409-433

6. Back Matter

   Pages 435-435

   PDF

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.

• adaptive systems
• artificial intelligence
• computer software selection and evaluation
• evolutionary algorithms
• formal methods
• formal software verification
• genetic algorithms
• machine lerarning
• model checking
• self-adaptive
• semantics
• software design
• software engineering
• software systems
• software verification
• algorithm analysis and problem complexity

• University of Kent, Canterbury, United Kingdom

  Rogério de Lemos

• Carnegie Mellon University, Pittsburgh, USA

  David Garlan

• Politecnico di Milano, Milan, Italy

  Carlo Ghezzi

• Hasso Plattner Institute for Software Systems Engineering, Potsdam, Germany

  Holger Giese

Policies and ethics