In recent years, Internet of Things (IoT) has been one of the most popular technologies that
facilitate new interactions among things and humans to enhance the quality of life. With the …

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 …

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 …

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 …

Flexibility and reconfigurability of production systems requires intelligent devices and
products that enables easy integration and reconfiguration eliminating the need of explicit …

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 …

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 …

В статье предлагается концепция киберфизической инженерии как продуктивного
способа применения научных результатов теории киберфизических систем …