Software Engineering for Collective Autonomic Systems: The ASCENS Approach

by Martin Wirsing (editor)

The SCEL Design, Implementation, Verification.- Reconfigurable and Software-Defined Networks of Connectors and Components.- Correctness of Service Components and Service Component Ensembles.- Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.- From Local to Global Knowledge and Back.- Knowledge Representation for Adaptive and Self-aware Systems.- Reasoning and Learning for Awareness and Adaptation.- Supporting Performance Awareness in Autonomous Ensembles.- The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems.- Methodological Guidelines for Engineering Self-organization and Emergence.- Engineering Requirements for Autonomy Features.- The Invariant Refinement Method.- The ASCENS Case Results and Common Aspects.- Adaptation and Awareness in Robot Scenarios and Algorithms.- The Autonomic Cloud.- The E-mobility Case Study.

552 pages, Paperback

First published March 18, 2015