Assurances for Self-Adaptive Systems

Principles, Models, and Techniques

ISBN: 978-3-642-36248-4 (Print) 978-3-642-36249-1 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages -

  2. Formal Verification

    1. No Access

      Book Chapter

      Pages 1-29

      Model Checking Adaptive Software with Featured Transition Systems

    2. No Access

      Book Chapter

      Pages 30-59

      Probabilistic Verification at Runtime for Self-Adaptive Systems

    3. No Access

      Book Chapter

      Pages 60-79

      Verification of a Self-configuration Protocol for Distributed Applications in the Cloud

    4. No Access

      Book Chapter

      Pages 80-111

      Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures

    5. No Access

      Book Chapter

      Pages 112-151

      Timed Hazard Analysis of Self-healing Systems

  3. Models and Middleware

    1. No Access

      Book Chapter

      Pages 152-186

      Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML

    2. No Access

      Book Chapter

      Pages 187-213

      Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice

    3. No Access

      Book Chapter

      Pages 214-239

      Achieving Self-adaptation through Dynamic Group Management

  4. Failure Prediction

    1. No Access

      Book Chapter

      Pages 240-265

      Accurate Proactive Adaptation of Service-Oriented Systems

    2. No Access

      Book Chapter

      Pages 266-296

      Failure Avoidance in Configurable Systems through Feature Locality

  5. Assurance Techniques

    1. No Access

      Book Chapter

      Pages 297-310

      Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software

    2. No Access

      Book Chapter

      Pages 311-339

      Assurance of Self-adaptive Controllers for the Cloud

  6. Back Matter

    Pages -