The paper presents a distributed model for implementing Cyber-Physical Systems aimed at controlling physical entities through the Internet of Things. The model tames the inherent complexity of the task by a recursive notion of modularity which makes each module both a controller and a controlled entity. Modules are arranged along part-whole tree-like hierarchies which collectively constitute the system. The behaviour of each module is strictly local since it has visibility only on its controlled modules, but not on the module which controls it. Each behaviour can be thus checked locally at design time against safety and liveness formulas, which still hold when component holons are composed into more complex ones, thus contributing, without the need of additional checks, to the overall safety and liveness of the final system.

From the Internet of Things to Cyber-Physical Systems: The Holonic Perspective / Pazzi, Luca; Pellicciari, Marcello. - In: PROCEDIA MANUFACTURING. - ISSN 2351-9789. - 11:(2017), pp. 989-995. [10.1016/j.promfg.2017.07.204]

From the Internet of Things to Cyber-Physical Systems: The Holonic Perspective

PAZZI, Luca
Software
;
PELLICCIARI, Marcello
Methodology
2017

Abstract

The paper presents a distributed model for implementing Cyber-Physical Systems aimed at controlling physical entities through the Internet of Things. The model tames the inherent complexity of the task by a recursive notion of modularity which makes each module both a controller and a controlled entity. Modules are arranged along part-whole tree-like hierarchies which collectively constitute the system. The behaviour of each module is strictly local since it has visibility only on its controlled modules, but not on the module which controls it. Each behaviour can be thus checked locally at design time against safety and liveness formulas, which still hold when component holons are composed into more complex ones, thus contributing, without the need of additional checks, to the overall safety and liveness of the final system.
2017
18-set-2017
11
989
995
From the Internet of Things to Cyber-Physical Systems: The Holonic Perspective / Pazzi, Luca; Pellicciari, Marcello. - In: PROCEDIA MANUFACTURING. - ISSN 2351-9789. - 11:(2017), pp. 989-995. [10.1016/j.promfg.2017.07.204]
Pazzi, Luca; Pellicciari, Marcello
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S2351978917304122-main.pdf

Open access

Tipologia: Versione pubblicata dall'editore
Dimensione 736.15 kB
Formato Adobe PDF
736.15 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1145647
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? 6
social impact