APPLYING A FORMALIZED LOGICAL-PROBABILISTIC METHOD FOR DETERMINING THE SURVIVABILITY INDICATORS OF MESH NETWORKS

2024;
: 113-120
1
Lviv Polytechnic National University
2
Lviv Politechnic National University, Software Department
3
Lviv Polytechnic National University
4
Lviv Polytechnic National University

Using the example of an LORA MESH network, the capabilities of the logic-probabilistic trajectory modeling method for determining the survivability indicators of mission-critical systems with a mesh network structure are presented. The proposed method is formalized, and based on it, software can be implemented that allows the designer to obtain quantitative values of survivability indicators at the system engineering design stage, when the system has not yet been built in hardware, through modeling. The analysis of known methods for calculating pairwise connectivity indices shows that the use of certain organized intermediate data structures can enhance the computational efficiency of algorithms. In the correlation method, such structures are the sets of paths for the i-th iteration. In the decomposition method, relative to the key element with indexed masking of elements in the set of simple paths, these structures include an indexed array of network elements, which determines their ordering by the chosen criterion, a vector of masking levels for elements in the set of simple paths, and a stack of probabilities for incomplete paths. Therefore, the question arises about the possibility of constructing and applying other auxiliary structures and investigating the efficiency of corresponding algorithms. During the conducted research, the idea emerged to use a "spanning tree" of simple paths as such an auxiliary structure, by means of which it is possible to manage the passage of "probability packets". Methods for evaluating survivability with a grid structure of communication networks are characterized by high computational complexity. Such computational complexity hinders the multivariate analysis of design decisions. The formalization of the probabilistic packet switching method has allowed reducing computational complexity for the user (enabled the implementation of this method in software, as most calculations are performed repeatedly automatically; moreover, when changing the network configuration, the function for calculating connection pairs is formed with less time expenditure). This will allow for multivariate analysis of design decisions, improve the efficiency of system design, and significantly reduce time costs.

[1]   Бачинський, І. В. Термінологічний словник з інформаційної безпеки [Текст] / І. В. Бачинський, В. Б. Дудикевич, В. С. Зачепило, Л. Т. Пархуць, В. В. Хома, О. В. Яструбецький. – Львів, 2005. – 140 с. – ISBN 966-8041-34-8.

[2]   ДСТУ 2860-94 Надійність техніки. Терміни та визначення

[3]   Freitag, F. & Miquel Solé, Joan & Meseguer, Roc. (2023). Position Paper: LoRa Mesh Networks for Enabling Distributed Intelligence on Tiny IoT Nodes, doi:10.3233/AISE230026.

[4]   Mohamed Saban, Otman Aghzout, Leandro D. Medus, Alfredo Rosado, Experimental Analysis of IoT Networks Based on LoRa/LoRaWAN under Indoor and Outdoor Environments: Performance and Limitations, IFAC-PapersOnLine, Volume 54, Issue 4, 2021, Pages 159-164, doi:10.1016/j.ifacol.2021.10.027.

[5]   Beichelt F., Franken P., Zuverlässigkeit & Instandhaltung-Math. Methoden, 1983, Technik, Berlin – 392 p.

[6]   Frank Beichelt, Peter Tittmann Reliability and Maintenance. Networks and Systems, Chapman and Hall/CRC, 2012. – 344p, doi: 10.1201/b12095.

[7]   Aguilar-Alarcón, Jhon & Hernández-Gómez, Juan & Romero-Valencia, Jesús. The Clustering Coefficient for Graph Products. Axioms. 2023, doi: 10.3390/axioms12100968

[8]   Touli, Elena & Lindberg, Oscar. (2022). Relative Clustering Coefficient. JAC: A Journal of Composition Theory, doi: 10.22059/JAC.2022.88373.

[9]   Metz, Fernando & Peron, Thomas. Mean-field theory of vector spin models on networks with arbitrary degree distributions, 2022, doi: 10.1088/2632-072X/ac4bed.

[10]Namtirtha, Amrita & Dutta, Animesh & Dutta, Biswanath. (2019). Weighted kshell degree neighborhood: A new method for identifying the influential spreaders from a variety of complex network connectivity structures. Expert Systems with Applications, doi: 139. 112859. 10.1016/j.eswa.2019.112859.

[11]Reliability and Maintenance - an Overview of Cases Edited by Leo Kounis, IntechOpen, 2020. – 191p., doi: 10.5772/intechopen.77493.

[12]Dudnik, B., Reliability and survivability of communication systems, Radio and Communication, 1984. - 215 p.

[13]Belyaev, V., Volochii, B., Ozirkovskyy, L., Pavliv, M., Evaluation of the effectiveness of methods for calculating the indicators of connectivity in the structural analysis of radioelectronic complex systems;Theoretical Electrical Engineering;,Svit Publishing House, Issue 54, 1998, p. 87-93