Scholarlink

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.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

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

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Laurent Capocchi,
  • Jean-Francois Santucci,
  • Jean-Yves Tigli,
  • Thibault Gomnin,
  • Stephane Lavirotte,
  • Gerald Rocher

摘要

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.