Software engineering for collective autonomic systems [electronic resource] : the ASCENS Approach / Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (eds.).
Wirsing, M. (Martin), editor.; Hölzl, Matthias, editor.; Koch, Nora, 1951- editor.; Mayer, Philip, editor.
2015
QA76.758 .S64 2015eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Software engineering for collective autonomic systems [electronic resource] : the ASCENS Approach / Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (eds.).
ISBN 9783319163109 electronic book
3319163108 electronic book
9783319163093
DOI https://doi.org/10.1007/978-3-319-16310-9
Published Cham : Springer, 2015.
Language English
Description 1 online resource (xiv, 535 pages) : illustrations.
Item Number 10.1007/978-3-319-16310-9 doi
Call Number QA76.758 .S64 2015eb
Dewey Decimal Classification 005.1
Summary A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up to its intended purpose; this includes respecting important constraints of the environment. This State-of-the-Art Survey addresses the engineering of such systems by presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated project funded in the period 2010-2015 by the 7th Framework Programme (FP7) of the European Commission as part of the Future Emerging Technologies Proactive Initiative (FET Proactive). The 17 contributions included in this book are organized in four parts corresponding to the research areas of the project and their concrete applications: (I) language and verification for self-awareness and self-expression, (II) modeling and theory of self-aware and adaptive systems, (III) engineering techniques for collective autonomic systems, and last but not least, (IV) challenges and feedback provided by the case studies of the project in the areas of swarm robotics, cloud computing and e-mobility.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed March 12, 2015).
Added Author Wirsing, M. (Martin), editor.
Hölzl, Matthias, editor.
Koch, Nora, 1951- editor.
Mayer, Philip, editor.
Series Lecture notes in computer science ; 8998.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Print version: 9783319163093
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
The SCEL Language: 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 Studies: Results and Common Aspects
Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms
The Autonomic Cloud
The E-mobility Case Study.

Browse Subjects

Show more subjects...

Statistics

from
to
Export