ZH Toman, L Hamel, SH Toman, M Graiet… - Journal of Reliable …, 2024 - Springer
IoT devices are more important than ever. In a connected world, IoT devices have many uses. They are no longer merely used at work; they are part of our everyday lives. Security …
This paper introduces a problem-oriented notation within the IEC 61499 syntax to be used for creating formal closed-loop models of cyber-physical automation systems. The proposed …
A clone node attack is one of the severe attacks on the Internet of Things (IoT) network. In a clone node attack, an adversary aims to physically capture the secret credentials of the …
D Drozdov, V Dubinin, S Patil… - IEEE Open Journal of the …, 2021 - ieeexplore.ieee.org
This paper proposes a formal model for industrial cyber-physical systems (CPS) with distributed control based on IEC 61499 standard and supporting time-aware computations …
Y Fei, J Yin, L Yan - Electronics, 2023 - mdpi.com
The Internet of Things (IoT) generates vast amounts of data from numerous applications. However, since wireless channels are the primary means of communication, IoT networks …
A Kalachev, G Zhabelova, V Vyatkin… - IECON 2018-44th …, 2018 - ieeexplore.ieee.org
Flexibility and reconfigurability of production systems requires intelligent devices and products that enables easy integration and reconfiguration eliminating the need of explicit …
TV Lyakh, VE Zyubin, NO Garanina - Optoelectronics, Instrumentation and …, 2019 - Springer
The paper describes solving the problem of automatic verification of control software in cyber-physical systems created by means of process-oriented programming. A method …
P Ovsiannikova, E Le Priol, V Perret… - 2023 IEEE 32nd …, 2023 - ieeexplore.ieee.org
A rigorous check is a significant phase in the design process of control programs of safety- critical cyber-physical systems. Here, we consider such programs to be implemented using …