Wow! eBook
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques
Author(s): Javier Cámara (Editor), Rogério de Lemos (Editor), Carlo Ghezzi (Editor)
- Publisher: Springer
- Publication Date: January 30, 2013
- Language: English
- Print length: 352 pages
- ISBN-10: 3642362508
- ISBN-13: 9783642362507
Book Description
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.
