Assurances for Self-Adaptive Systems

Principles, Models, and Techniques

Häftad, Engelska, 2013

AvJavier Cámara,Rogério de Lemos,Carlo Ghezzi,Antonia Lopes,Javier Camara,Rogerio de Lemos

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2013-01-09
Mått155 x 235 x 20 mm
Vikt534 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor341
Upplaga2013
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642362484

Tillhör följande kategorier

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 MechatronicSystems 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.