Autonomic Service-Component Ensembles
Self-aware, self-adaptive and self-expressive autonomic components, running within environments which are called “ensembles”, have been proposed to handle open-ended, highly parallel, massively distributed systems that can span millions of nodes with complex interactions and behaviours. However, these complex systems are currently difficult to develop, deploy, and manage.
The goal of the ASCENS project is to build ensembles in a way that combines the maturity and wide applicability of traditional software engineering approaches with the assurance about functional and non-functional properties provided by formal methods and the flexibility, low management overhead, and optimal utilization of resources promised by autonomic, adaptive, self-aware systems.
Service-Component Ensemble Language (SCEL): developed as a multi-layer language for self-aware, autonomic service components (SCs) and service-component ensembles (SCEs) that integrates behavioural description with knowledge representation and reasoning about the environment.
Formal methods:theoretical foundations and models for reliable and predictable system behaviour while exploiting the possibilities of highly dynamic, autonomic components.
Adaptation and self-expression: adaptive systems for the integration of top-down and bottom-up approaches to adaptation and self-expression.
Swarm robotics: generation of robot swarm with both autonomous and collective behaviour.
Cloud computing: new science clouds with resource-aware cloud computing.
Energy saving e-Mobility: e-Vehicles which are goal oriented and fully aware of their own, their neighbours’ and their environment’s resources.