Assurances for Self-Adaptive Systems Principles, Models, and Techniques /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Cámara, Javier (Editor), Lemos, Rogério de (Editor), Ghezzi, Carlo (Editor), Lopes, Antónia (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Lecture Notes in Computer Science, 7740
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Operating Systems.

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive syst...

Table of Contents:

• Model Checking Adaptive Software with Featured Transition Systems
• Probabilistic Verification at Runtime for Self-Adaptive Systems
• Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
• Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures
• Timed Hazard Analysis of Self-healing Systems
• Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML
• Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice
• Achieving Self-adaptation through Dynamic Group Management
• Accurate Proactive Adaptation of Service-Oriented Systems
• Failure Avoidance in Configurable Systems through Feature Locality
• Emerging Techniques for the Engineering of Self Adaptive High-Integrity Software
• Assurance of Self-adaptive Controllers for the Cloud.