Overview
- State-of-the-art contents
- Presents methods, tools and theories developed within the ASCENS project
- Contributions by international experts
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8998)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
- adaptive systems
- autonomic computing
- cloud computing
- constraint porgramming
- dynamic programming
- ensemble-oriented systems
- formal methods
- knowledge representation
- mobile robotics
- model-checking
- modeling
- optimization
- peer-to-peer computing
- performance
- programming lanuages
- real-life systems
- reinforcement learning
- self-organization
- swarm robotics
- verification
Table of contents (17 chapters)
-
Front Matter
-
Language and Verification for Collective Autonomic Systems
-
Front Matter
-
-
Modeling and Theory of Adaptive and Self-aware Systems
-
Front Matter
-
-
Engineering Techniques for Collective Autonomic Systems
-
Front Matter
-
-
Case Studies: Challenges and Feedback
-
Front Matter
-
Editors and Affiliations
Bibliographic Information
Book Title: Software Engineering for Collective Autonomic Systems
Book Subtitle: The ASCENS Approach
Editors: Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-16310-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-16309-3Published: 18 March 2015
eBook ISBN: 978-3-319-16310-9Published: 03 March 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 535
Number of Illustrations: 159 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, Mathematical Logic and Formal Languages, Artificial Intelligence