Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Reliable industrial IoT-based distributed automation
Lesi V., Jakovljevic Z., Pajic M.  IoTDI 2019 (Proceedings of the International Conference on Internet of Things Design and Implementation, Montreal, Canada, Apr 15-18, 2019)94-105.2019.Type:Proceedings
Date Reviewed: Aug 16 2019

This paper shows improved reliability in Industrial Internet of Things (IIoT) distributed automation systems by following along at runtime against expected real-world fault models. This novel idea represents models using extended Petri nets, called control interpreted Petri nets (CIPN), which are basically executable state models. The extensions are synchronization hooks to the various factory IoT devices, events, and controls. An Industrial 4.0 enterprise shows how the traditional top-down automation pyramid is replaced with control systems where functionality is now distributed across IIoT device controllers. Those previous pyramid layers, where control was deterministic and reliable, scale but give up local distributed control (a key IIoT characteristic).

This paper extends the distributed system concepts with new stochastic reward nets (SRNs)--a variant of Petri nets supporting stochastic timing features. SRNs “bridge the gap between the expressiveness of the widely adopted control models and the need for verification of automatically synthesized distributed control systems.” Edge-based reliability and performance runtime monitoring are also required. Collectively, this is called network aware modeling for distributed sequential discrete event control.

These new offline analysis steps, coupled with model property verification, help manage the complexities inherent in highly distributed IIoT systems. Real-world industrial case studies are introduced to show how the fault models are generated. This includes a typical automation controller with controllers, gripper, and movement (like a robot), which is then shown with CIPN (extended Petri nets) where the parts of the robot are managed. This also shows the relatively low level of expressiveness needed to control devices (basically a descriptive control language).

Reviewer:  Scott Moody Review #: CR146658 (1911-0388)
Bookmark and Share
  Featured Reviewer  
 
General (C.2.0 )
 
Would you recommend this review?
yes
no
Other reviews under "General": Date
Comparative evaluation of networks and protocols
Pooch U., John Wiley & Sons, Inc., New York, NY, 1984. Type: Book (9780471262336)
Aug 1 1985
Data communications, networks, and systems
Bartee T., Sams, Indianapolis, IN, 1985. Type: Book (9780672222351)
May 1 1987
Introduction to data communications and computer networks
Halsall F. (ed), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1985. Type: Book (9789780201145472)
May 1 1986
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy