Reconfigurable elements of execution semantics for industrial cyber-physical systems

With the increasing computing power and network capacity, distributed automation systems are facing new challenges of handling massive amounts of distributed nodes within tight real-time constraints. The industrial cyber-physical systems is considered as the key to solve these complexities. In distributed industrial automation systems, there exists several execution semantics. In this paper, all existing execution semantics are summarized as a set of rules which are described by reconfigurable elements. During the simulation and verification of industrial cyber-physical systems, those rules are helpful to provide a generic runtime environment which can perform various execution semantics. This reconfigurable execution environment is demonstrated using a case study of a room lighting system.