Actuation Conflict Management in Internet of Things Systems DevOps: A Discrete Event Modeling and Simulation Approach

Actuation Conflict Management in Internet of Things Systems DevOps: A Discrete Event Modeling and Simulation Approach

연구 분야: Safety

학회: IFIP International Internet of Things Conference

In IoT DevOps, simulating actuation conflict management is crucial for enhancing conflict detection and resolution in concurrent IoT applications. This paper introduces a new discrete event modeling and simulation approach for IoT systems during the design phase. Its objectives are to identify potential conflicts arising from competing smart applications accessing shared actuators or physical properties and to validate actuation conflict management specifications aimed at resolving conflicts among concurrent access attempts to IoT devices. The formalism of discrete event system specification is employed to model IoT systems formally, incorporating an actuation conflict management simulation model. This aids designers in the resolution of actuation conflicts.