A New Discrete-Event Simulation Based Approach for Validating Actuation Conflict Management in IoT Systems

In the field of conflict management of IoT systems, formal verification of the actuation conflict Management (ACM) has an important place to verify the ACM logical properties by considering the events and possible actions on the actuators. In this paper a new discrete event simulation of Internet of Things systems approach is introduced during the Design Phase to: (i) generate test patterns that highlights potential conflicts and (ii) validate the ACM specifications designed to solve the conflicts embedded in the physical environment using the previous test patterns. The DEVS (Discrete EVent system Specification) formalism is used to formally propose a modeling of the IoT system and its physical environment, the definition of an ACM DEVS simulation model allowing conflicts detection and resolution. A use-case example is proposed to illustrate this new approach.