Skip to main content
SpringerLink
Log in

Software Engineering for Self-Adaptive Systems III. Assurances

International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Rogério de Lemos

    1. University of Kent, Canterbury, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David Garlan

    1. Carnegie Mellon University, Pittsburgh, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Carlo Ghezzi

    1. Politecnico di Milano, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Holger Giese

    1. Hasso Plattner Institute for Software Systems Engineering, Potsdam, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9640)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Research Challenges

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation