Assurances for Self-Adaptive Systems [E-Book] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes.
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...
Saved in:
Full text |
|
Personal Name(s): | Cámara, Javier. |
Lemos, Rogério. / Ghezzi, Carlo. / Lopes, Antónia. | |
Imprint: |
Berlin, Heidelberg :
Springer,
2013
|
Physical Description: |
X, 341 p. 94 illus. digital. |
Note: |
englisch |
ISBN: |
9783642362491 |
DOI: |
10.1007/978-3-642-36249-1 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture notes in computer science ;
7740 |
Subject (LOC): |
- 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.