Skip to main content

Reliable industrial IoT-based distributed automation

Publication ,  Conference
Lesi, V; Jakovljevic, Z; Pajic, M
Published in: IoTDI 2019 - Proceedings of the 2019 Internet of Things Design and Implementation
April 15, 2019

Reconfigurable manufacturing systems supported by Industrial Internet-of-Things (IIoT) are modular and easily integrable, promoting efficient system/component reconfigurations with minimal downtime. Industrial systems are commonly based on sequential controllers described with Control Interpreted Petri Nets (CIPNs). Existing design methodologies to distribute centralized automation/control tasks focus on maintaining functional properties of the system during the process, while disregarding failures that may occur during execution (e.g., communication packet drops, sensing or actuation failures). Consequently, in this work, we provide a missing link for reliable IIoT-based distributed automation. We introduce a method to transform distributed control models based on CIPNs into Stochastic Reward Nets that enable integration of realistic fault models (e.g., probabilistic link models). We show how to specify desired system properties to enable verification under the adopted communication/fault models, both at design- and run-time; we also show feasibility of runtime verification on the edge, with a continuously updated system model. Our approach is used on real industrial systems, resulting in modifications of local controllers to guarantee reliable system operation in realistic IIoT environments.

Duke Scholars

Published In

IoTDI 2019 - Proceedings of the 2019 Internet of Things Design and Implementation

DOI

ISBN

9781450362832

Publication Date

April 15, 2019

Start / End Page

94 / 105
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Lesi, V., Jakovljevic, Z., & Pajic, M. (2019). Reliable industrial IoT-based distributed automation. In IoTDI 2019 - Proceedings of the 2019 Internet of Things Design and Implementation (pp. 94–105). https://doi.org/10.1145/3302505.3310072
Lesi, V., Z. Jakovljevic, and M. Pajic. “Reliable industrial IoT-based distributed automation.” In IoTDI 2019 - Proceedings of the 2019 Internet of Things Design and Implementation, 94–105, 2019. https://doi.org/10.1145/3302505.3310072.
Lesi V, Jakovljevic Z, Pajic M. Reliable industrial IoT-based distributed automation. In: IoTDI 2019 - Proceedings of the 2019 Internet of Things Design and Implementation. 2019. p. 94–105.
Lesi, V., et al. “Reliable industrial IoT-based distributed automation.” IoTDI 2019 - Proceedings of the 2019 Internet of Things Design and Implementation, 2019, pp. 94–105. Scopus, doi:10.1145/3302505.3310072.
Lesi V, Jakovljevic Z, Pajic M. Reliable industrial IoT-based distributed automation. IoTDI 2019 - Proceedings of the 2019 Internet of Things Design and Implementation. 2019. p. 94–105.

Published In

IoTDI 2019 - Proceedings of the 2019 Internet of Things Design and Implementation

DOI

ISBN

9781450362832

Publication Date

April 15, 2019

Start / End Page

94 / 105