IDEAS home Printed from https://ideas.repec.org/a/spr/joinma/v31y2020i5d10.1007_s10845-019-01503-x.html
   My bibliography  Save this article

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

Author

Listed:
  • Shashi Bhushan Jha

    (Embry-Riddle Aeronautical University)

  • Radu F. Babiceanu

    (Embry-Riddle Aeronautical University)

  • Remzi Seker

    (Embry-Riddle Aeronautical University)

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.

Suggested Citation

  • Shashi Bhushan Jha & Radu F. Babiceanu & Remzi Seker, 2020. "Formal modeling of cyber-physical resource scheduling in IIoT cloud environments," Journal of Intelligent Manufacturing, Springer, vol. 31(5), pages 1149-1164, June.
    • Handle: RePEc:spr:joinma:v:31:y:2020:i:5:d:10.1007_s10845-019-01503-x
    DOI: 10.1007/s10845-019-01503-x
    as

    Download full text from publisher

    File URL: http://link.springer.com/10.1007/s10845-019-01503-x
    File Function: Abstract
    Download Restriction: Access to the full text of the articles in this series is restricted.
    File URL: https://libkey.io/10.1007/s10845-019-01503-x?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Asma Talhi & Virginie Fortineau & Jean-Charles Huet & Samir Lamouri, 2019. "Ontology for cloud manufacturing based Product Lifecycle Management," Journal of Intelligent Manufacturing, Springer, vol. 30(5), pages 2171-2192, June.
    2. Gregory W. Vogl & Brian A. Weiss & Moneer Helu, 2019. "A review of diagnostic and prognostic capabilities and best practices for manufacturing," Journal of Intelligent Manufacturing, Springer, vol. 30(1), pages 79-95, January.
    3. Jeff Morgan & Garret E. O’Donnell, 2018. "Cyber physical process monitoring systems," Journal of Intelligent Manufacturing, Springer, vol. 29(6), pages 1317-1328, August.
    4. André Thomas & Theodor Borangiu & Damien Trentesaux, 2017. "Holonic and multi-agent technologies for service and computing oriented manufacturing," Journal of Intelligent Manufacturing, Springer, vol. 28(7), pages 1501-1502, October.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Xiaobao Zhu & Jing Shi & Fengjie Xie & Rouqi Song, 2020. "Pricing strategy and system performance in a cloud-based manufacturing system built on blockchain technology," Journal of Intelligent Manufacturing, Springer, vol. 31(8), pages 1985-2002, December.
    2. Shiyong Yin & Jinsong Bao & Jie Zhang & Jie Li & Junliang Wang & Xiaodi Huang, 2020. "Real-time task processing for spinning cyber-physical production systems based on edge computing," Journal of Intelligent Manufacturing, Springer, vol. 31(8), pages 2069-2087, December.
    3. Kendrik Yan Hong Lim & Pai Zheng & Chun-Hsien Chen, 2020. "A state-of-the-art survey of Digital Twin: techniques, engineering product lifecycle management and business innovation perspectives," Journal of Intelligent Manufacturing, Springer, vol. 31(6), pages 1313-1337, August.
    4. Lewis, Austin D. & Groth, Katrina M., 2022. "Metrics for evaluating the performance of complex engineering system health monitoring models," Reliability Engineering and System Safety, Elsevier, vol. 223(C).
    5. Yiwei Wang & Jian Zhou & Lianyu Zheng & Christian Gogu, 2022. "An end-to-end fault diagnostics method based on convolutional neural network for rotating machinery with multiple case studies," Journal of Intelligent Manufacturing, Springer, vol. 33(3), pages 809-830, March.
    6. Rishi Kumar & Kuldip Singh Sangwan & Christoph Herrmann & Rishi Ghosh, 2024. "Development of a cyber physical production system framework for smart tool health management," Journal of Intelligent Manufacturing, Springer, vol. 35(7), pages 3037-3066, October.
    7. Zuo, Tao & Zhang, Kai & Zheng, Qing & Li, Xianxin & Li, Zhixuan & Ding, Guofu & Zhao, Minghang, 2023. "A hybrid attention-based multi-wavelet coefficient fusion method in RUL prognosis of rolling bearings," Reliability Engineering and System Safety, Elsevier, vol. 237(C).
    8. Joaquín Ordieres-Meré & Tomás Prieto Remón & Jesús Rubio, 2020. "Digitalization: An Opportunity for Contributing to Sustainability From Knowledge Creation," Sustainability, MDPI, vol. 12(4), pages 1-21, February.
    9. Sanuri Ishak & Chong Tak Yaw & Siaw Paw Koh & Sieh Kiong Tiong & Chai Phing Chen & Talal Yusaf, 2021. "Fault Classification System for Switchgear CBM from an Ultrasound Analysis Technique Using Extreme Learning Machine," Energies, MDPI, vol. 14(19), pages 1-21, October.
    10. Lia Tirabeni & Paola De Bernardi & Canio Forliano & Mattia Franco, 2019. "How Can Organisations and Business Models Lead to a More Sustainable Society? A Framework from a Systematic Review of the Industry 4.0," Sustainability, MDPI, vol. 11(22), pages 1-23, November.
    11. Vrignat, Pascal & Kratz, Frédéric & Avila, Manuel, 2022. "Sustainable manufacturing, maintenance policies, prognostics and health management: A literature review," Reliability Engineering and System Safety, Elsevier, vol. 218(PA).
    12. Wei Nie & Katharina Vita & Tariq Masood, 2024. "An ontology for defining and characterizing demonstration environments," Journal of Intelligent Manufacturing, Springer, vol. 35(7), pages 3501-3521, October.
    13. Shi, Jiayu & Zhong, Jingshu & Zhang, Yuxuan & Xiao, Bin & Xiao, Lei & Zheng, Yu, 2024. "A dual attention LSTM lightweight model based on exponential smoothing for remaining useful life prediction," Reliability Engineering and System Safety, Elsevier, vol. 243(C).
    14. Guodong Huang & Jie Chen & Yacob Khojasteh, 2021. "A cyber-physical system deployment based on pull strategies for one-of-a-kind production with limited resources," Journal of Intelligent Manufacturing, Springer, vol. 32(2), pages 579-596, February.
    15. Matteo Barbieri & Khan T. P. Nguyen & Roberto Diversi & Kamal Medjaher & Andrea Tilli, 2021. "RUL prediction for automatic machines: a mixed edge-cloud solution based on model-of-signals and particle filtering techniques," Journal of Intelligent Manufacturing, Springer, vol. 32(5), pages 1421-1440, June.
    16. Pedersen, Tom Ivar & Vatn, Jørn, 2022. "Optimizing a condition-based maintenance policy by taking the preferences of a risk-averse decision maker into account," Reliability Engineering and System Safety, Elsevier, vol. 228(C).
    17. Tian, Meng & Chen, Yang & Tian, Guanghao & Huang, Wei & Hu, Chuan, 2023. "The role of digital transformation practices in the operations improvement in manufacturing firms: A practice-based view," International Journal of Production Economics, Elsevier, vol. 262(C).
    18. Fan, Yuantao & Nowaczyk, Sławomir & Rögnvaldsson, Thorsteinn, 2020. "Transfer learning for remaining useful life prediction based on consensus self-organizing models," Reliability Engineering and System Safety, Elsevier, vol. 203(C).
    19. Zhiwen Huang & Jianmin Zhu & Jingtao Lei & Xiaoru Li & Fengqing Tian, 2020. "Tool wear predicting based on multi-domain feature fusion by deep convolutional neural network in milling operations," Journal of Intelligent Manufacturing, Springer, vol. 31(4), pages 953-966, April.
    20. Hussein A. Taha & Soumaya Yacout & Yasser Shaban, 2023. "Autonomous self-healing mechanism for a CNC milling machine based on pattern recognition," Journal of Intelligent Manufacturing, Springer, vol. 34(5), pages 2185-2205, June.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:joinma:v:31:y:2020:i:5:d:10.1007_s10845-019-01503-x. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.