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, MarcelloMethodology
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.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
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