Industry 4.0: An overview of key benefits, technologies, and challenges
A new revolution known as Industry 4.0 is occurring where countless elements comprising
industrial systems are being interfaced with internet communication technologies to form the …
industrial systems are being interfaced with internet communication technologies to form the …
A review of the principles of designing smart cyber-physical systems for run-time adaptation: Learned lessons and open issues
Smart cyber-physical systems (S-CPSs) are complex engineered systems empowered by
cyber-physical computing and equipped with the capability of reasoning, learning, adapting …
cyber-physical computing and equipped with the capability of reasoning, learning, adapting …
[LIBRO][B] An introduction to self-adaptive systems: A contemporary software engineering perspective
D Weyns - 2020 - books.google.com
A concise and practical introduction to the foundations and engineering principles of self-
adaptation Though it has recently gained significant momentum, the topic of self-adaptation …
adaptation Though it has recently gained significant momentum, the topic of self-adaptation …
[HTML][HTML] From distributed coordination to field calculus and aggregate computing
Aggregate computing is an emerging approach to the engineering of complex coordination
for distributed systems, based on viewing system interactions in terms of information …
for distributed systems, based on viewing system interactions in terms of information …
Protelis: practical aggregate programming
The notion of a computational field has been proposed as a unifying abstraction for
develo** distributed systems, focusing on the computations and coordination of …
develo** distributed systems, focusing on the computations and coordination of …
Macroprogramming: Concepts, state of the art, and opportunities of macroscopic behaviour modelling
R Casadei - ACM Computing Surveys, 2023 - dl.acm.org
Macroprogramming refers to the theory and practice of expressing the macro (scopic)
behaviour of a collective system using a single program. Macroprogramming approaches …
behaviour of a collective system using a single program. Macroprogramming approaches …
[PDF][PDF] Functional programming for distributed systems with XC
Programming distributed systems is notoriously hard due to–among the others–concurrency,
asynchronous execution, message loss, and device failures. Homogeneous distributed …
asynchronous execution, message loss, and device failures. Homogeneous distributed …
Modelling and analysis of collective adaptive systems with CARMA and its tools
Abstract Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous
task-oriented systems that cooperate on common goals forming a collective system. This …
task-oriented systems that cooperate on common goals forming a collective system. This …
The SCEL language: design, implementation, verification
Abstract SCEL (Service Component Ensemble Language) is a new language specifically
designed to rigorously model and program autonomic components and their interaction …
designed to rigorously model and program autonomic components and their interaction …
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming
Swarm behaviour engineering is an area of research that seeks to investigate methods for
coordinating computation and action within groups of simple agents to achieve complex …
coordinating computation and action within groups of simple agents to achieve complex …