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

Laurent Capocchi,Jean-Francois Santucci,Jean-Yves Tigli, Thibault Gonnin,Stéphane Lavirotte,Gérald Rocher

2021 Annual Modeling and Simulation Conference (ANNSIM)（2021）

引用 1|浏览26

暂无评分

摘要

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 h...

查看译文

关键词

Actuation Conflicts,Discrete-Event,Internet of Things,Modeling,Simulation

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要