Modelling and simulation of opportunistic IoT services with aggregate computing

R Casadei, G Fortino, D Pianini, W Russo… - Future Generation …, 2019 - Elsevier
Abstract The Internet of Things (IoT) is emerging as a ubiquitous and dense ecosystem in
which novel devices and smart objects interoperate to establish smart cities, smart buildings …

[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 …

Partitioned integration and coordination via the self-organising coordination regions pattern

D Pianini, R Casadei, M Viroli, A Natali - Future Generation Computer …, 2021 - Elsevier
In software engineering, knowledge about recurrent problems, along with blueprints of
associated solutions for diverse design contexts, are often captured in so-called design …

Engineering collective intelligence at the edge with aggregate processes

R Casadei, M Viroli, G Audrito, D Pianini… - … Applications of Artificial …, 2021 - Elsevier
Edge computing promotes the execution of complex computational processes without the
cloud, ie, on top of the heterogeneous, articulated, and possibly mobile systems composed …

A development approach for collective opportunistic edge-of-things services

R Casadei, G Fortino, D Pianini, W Russo… - Information …, 2019 - Elsevier
Technological advances have recently fostered the Internet of Things vision, in which
systems of situated entities perceive and act upon the world, and interact with one another to …

A methodology and simulation-based toolchain for estimating deployment performance of smart collective services at the edge

R Casadei, G Fortino, D Pianini… - IEEE Internet of …, 2022 - ieeexplore.ieee.org
Research trends are pushing artificial intelligence (AI) across the Internet of Things (IoT)–
edge–fog–cloud continuum to enable effective data analytics, decision making, as well as …

[HTML][HTML] ScaFi: A Scala DSL and toolkit for aggregate programming

R Casadei, M Viroli, G Aguzzi, D Pianini - SoftwareX, 2022 - Elsevier
Supported by current socio-scientific trends, programming the global behaviour of whole
computational collectives makes for great opportunities, but also significant challenges …

Pulverization in cyber-physical systems: Engineering the self-organizing logic separated from deployment

R Casadei, D Pianini, A Placuzzi, M Viroli, D Weyns - Future Internet, 2020 - mdpi.com
Emerging cyber-physical systems, such as robot swarms, crowds of augmented people, and
smart cities, require well-crafted self-organizing behavior to properly deal with dynamic …

[PDF][PDF] Modeling Opportunistic IoT Services in Open IoT Ecosystems.

G Fortino, W Russo, C Savaglio, M Viroli, M Zhou - WOA, 2017 - ceur-ws.org
Internet of Thing (IoT) is transforming our physical world into a giant information system,
daily providing novel, advanced, cyberphysical services. Differently from conventional …

FCPP: an efficient and extensible field calculus framework

G Audrito - 2020 IEEE International Conference on Autonomic …, 2020 - ieeexplore.ieee.org
The Field Calculus is a promising language for the self-organisation of distributed devices,
allowing to express on a high level of abstraction complex distributed algorithms with robust …