Застосування формалізованого логіко-ймовірнісного методу для визначення показників живучості багатозв’язних мереж

Abstract

На прикладі LORA MESH мережі висвітлено можливості методу логіко-ймовірнісного траєкторного моделювання для визначення показників живучості систем відповідального призначення із сітковою структурою мережі зв’язку. Запропонований метод формалізовано і на його основі можна реалізувати програмне забезпечення, яке дасть проєктантові змогу отримати кількісні значення показників живучості на етапі системотехнічного проєкту- вання, коли системи ще немає в “залізі”, за допомогою моделювання. Аналіз відомих методів розрахунку індексів парної зв’язності показує, що використання певних орга- нізованих проміжних структур даних дає змогу підвищити обчислювальну ефективність алгоритмів. У кореляційному методі такими структурами є набори шляхів для i-ї ітерації. У методі декомпозиції стосовно ключового елемента з індексованим маскуванням елементів у множині простих шляхів ці структури містять індексований масив елементів мережі, який визначає їх упорядкування за вибраним критерієм, вектор рівнів маскування для елементів у набір простих шляхів і стек ймовірностей для неповних шляхів. Тому постає питання про можливість побудови та застосування інших допоміжних структур і дослідження ефек- тивності відповідних алгоритмів. У ході досліджень виникла ідея використовувати “родове дерево” простих шляхів як таку допоміжну структуру, за допомогою якої можна керувати проходженням “імовірнісних пакетів”. Методи оцінювання живучості із сітковою струк- турою мереж зв’язку характеризуються високою обчислювальною складністю. Така обчис- лювальна складність перешкоджає аналізу багатоваріантного аналізу проєктних рішень. Формалізація імовірнісного методу комутації пакетів дала змогу знизити обчислювальну складність для користувача (реалізувати цей метод програмно, оскільки більшість об- числень виконується багаторазово автоматично, крім того, у разі зміни конфігурації мережі функція для обчислення пар з’єднань формується із меншими витратами часу). Це дасть змогу виконувати багатоваріантний аналіз проєктних рішень, підвищити ефективність проєктування систем та істотно зменшити часові затрати.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.