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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Cm̀ara, Javier. (Editor), Lemos, Rogřio. (Editor), Ghezzi, Carlo. (Editor), Lopes, Antn̤ia. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Lecture Notes in Computer Science, 7740
• Subjects: Computer science.; Computer Communication Networks.; Software engineering.; Operating systems (Computers).; Logic design.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Operating Systems.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-36249-1

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 <U+0013> 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.