Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition

Abstract

A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to new requirements. Rigorous engineering requires appropriate methods and tools that help guarantee that a collective adaptive system lives up to its intended purpose. This note gives an introduction to the track ‘Rigorous Engineering of Collective Adaptive Systems.’ It shortly presents the panel discussion on ‘The Meaning of Adaptation: Mastering the Unforeseen?’ and 18 scientific contributions, structured into six thematic sessions: Formal Modelling of Collective Adaptive Systems, Engineering Collective Adaptive Systems, Security and Analysis of Collective Adaptive Systems, Machine Learning and Evolutionary Computing for Collective Adaptive Systems, and Software Support for Programming and Modeling Collective Adaptive Systems.