Formal modeling of cyber-physical resource scheduling in IIoT cloud environments

Shashi Bhushan Jha, Radu F. Babiceanu () and Remzi Seker
Additional contact information
Shashi Bhushan Jha: Embry-Riddle Aeronautical University
Radu F. Babiceanu: Embry-Riddle Aeronautical University
Remzi Seker: Embry-Riddle Aeronautical University

Journal of Intelligent Manufacturing, 2020, vol. 31, issue 5, No 5, 1149-1164

Abstract: Abstract In the recent years, the topic of Industrial Internet of Things (IIoT) has attracted a large number of academic researchers and industry practitioners. IIoT connects the actors, and the physical and cyber resources of industrial systems, manufacturing- or service-based, in a cloud-enabled overall data exchange system. This work outlines a formal model for operational scheduling of cyber-physical resources for different scenarios determined by resource and logistics availability and cost. Information exchange of physical work-in-process, resource failures, alternative resource options, order and logistics information, are used to deliver real-time scheduling to IIoT participants. The model is formalized using discrete state-machine diagrams for resource reliability and availability status, and logistics timing purposes. Low-performance solution invariants are generated and validated through functional requirements test case building. The data exchange network between the processing nodes of the IIoT environment is built on a software-defined network foundation. A simulation is then built for a series of work-in-process orders and their required processing operations, several manufacturing enterprises and associated physical logistics, and the cloud IIoT network cyber infrastructure for data and control information sharing. Both the formalized and the simulation models are run in the IIoT cloud and can be accessed by the participating enterprises. The formalized model provides insights on resource repair or replacement options, part transfer decisions, while the simulation model builds on those decisions and runs only validated scenarios anchored in timing- and cost-based constraints.

Keywords: Industrial internet of things; Cyber-physical systems; Formal modeling; Real-time scheduling; Manufacturing control (search for similar items in EconPapers)
Date: 2020
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://link.springer.com/10.1007/s10845-019-01503-x Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:joinma:v:31:y:2020:i:5:d:10.1007_s10845-019-01503-x

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10845

DOI: 10.1007/s10845-019-01503-x

Access Statistics for this article

Journal of Intelligent Manufacturing is currently edited by Andrew Kusiak

More articles in Journal of Intelligent Manufacturing from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().