On analysis of substitutability for system resilience in IoT system based on PN2

We focus on a property to deal with system resilience in the Internet of Things system called substitutability. It is important to ensure that production line failure is avoided. Substitutability is a property of a machine or device to operate instead of another machine or device. In this paper, we modeled IoT by PN2 (Petri nets in a Petri net). We formalized substi-tutability problem and proposed a formal analysis method for the problem. We illustrate the analysis with a substitutable and non-substitutable example of a drone worker in a smart warehouse. The effectiveness is shown as the accuracy to equate the difference of behavior in agent substitutions and to reduce the range of state space analysis of the whole PN2 to only the agent nets.

[1]  Kunihiko Hiraishi,et al.  A Petri-net-based model for the mathematical analysis of multi-agent systems , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[2]  Shingo Yamaguchi,et al.  A support tool to design IoT services with NuSMV , 2017, 2017 IEEE International Conference on Consumer Electronics (ICCE).

[3]  John A. Stankovic,et al.  Research Directions for the Internet of Things , 2014, IEEE Internet of Things Journal.

[4]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[5]  Jamal Bentahar,et al.  Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems , 2010, SoMeT.

[6]  Shingo Yamaguchi,et al.  Polynomial Time Verification of Behavioral Inheritance for Interworkflows Based on WfMC Protocol , 2011, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..