Industry 4.0: An overview of key benefits, technologies, and challenges

L Thames, D Schaefer - Cybersecurity for Industry 4.0: Analysis for Design …, 2017 - Springer
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 …

A review of the principles of designing smart cyber-physical systems for run-time adaptation: Learned lessons and open issues

J Tavčar, I Horvath - IEEE Transactions on Systems, Man, and …, 2018 - ieeexplore.ieee.org
Smart cyber-physical systems (S-CPSs) are complex engineered systems empowered by
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 …

[HTML][HTML] From distributed coordination to field calculus and aggregate computing

M Viroli, J Beal, F Damiani, G Audrito, R Casadei… - Journal of Logical and …, 2019 - Elsevier
Aggregate computing is an emerging approach to the engineering of complex coordination
for distributed systems, based on viewing system interactions in terms of information …

Protelis: practical aggregate programming

D Pianini, M Viroli, J Beal - Proceedings of the 30th Annual ACM …, 2015 - dl.acm.org
The notion of a computational field has been proposed as a unifying abstraction for
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 …

[PDF][PDF] Functional programming for distributed systems with XC

G Audrito, R Casadei, F Damiani… - LEIBNIZ …, 2022 - iris.unito.it
Programming distributed systems is notoriously hard due to–among the others–concurrency,
asynchronous execution, message loss, and device failures. Homogeneous distributed …

Modelling and analysis of collective adaptive systems with CARMA and its tools

M Loreti, J Hillston - Formal Methods for the Quantitative Evaluation of …, 2016 - Springer
Abstract Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous
task-oriented systems that cooperate on common goals forming a collective system. This …

The SCEL language: design, implementation, verification

R De Nicola, D Latella, AL Lafuente, M Loreti… - Software Engineering for …, 2015 - Springer
Abstract SCEL (Service Component Ensemble Language) is a new language specifically
designed to rigorously model and program autonomic components and their interaction …

MacroSwarm: A Field-Based Compositional Framework for Swarm Programming

G Aguzzi, R Casadei, M Viroli - International Conference on Coordination …, 2023 - Springer
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 …