UDC 004.72
FORMALIZATION OF DATA TRANSMISSION IN REAL-TIME DISTRIBUTED COMPUTING SYSTEMS
K. I. Nikishin, PhD (in technical sciences), associate professor, associate professor, Department of Computer
Science, Penza State University, Penza, Russia;
orcid.org/0000-0001-7966-7833, e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it.
I. V. Akifyev, PhD (in economic sciences), associate professor, associate professor, Department of Computer
Science, Penza State University, Penza, Russia;
e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it.
Distributed computing systems (DCS) allow you to combine the resources of multiple computing and
network devices, while ensuring high performance and scalability of systems. The key tasks of DCS research
and design are the organization of data transmission, process synchronization and re-source management,
which is achieved through special computing and network algorithms and proto-cols. At the same time, the
requirements for modern switches include mobility, flexibility, scalability, and dynamic resource management
in DCS. In distributed systems, switches must provide high data transfer speeds, minimal delays, data
loss, and reliable data transmission to changing DCS network conditions. A special interest is a transmission
of data in DCS networks by unmanned aerial vehicles (UAVs). The article discusses the organization of DCS
network in UAV, describes the types of data transmission in UAV taking into account time constraints. The
aim of study is to formalize real-time data transmission in distributed computing systems using logical and
algebraic statements. The tasks of the study are to describe data transmission, formulate problems in DCS
networks, and formalize data transmission to DCS. The article describes the formalization of data transmission
problem in DCS networks based on the algorithm for early diagnosis of data loss in real time with timeout control. Moore's digital automata were designed using logical and algebraic statements, and later statements were used in models based on the mathematical apparatus of colored temporal hierarchical Petri nets.
Key words: distributed computing systems, unmanned aerial vehicles, switch, Petri nets, logical and algebraic
statements, digital automata, real-time data.
.