Journal Highly available systems №3 for 2026 year
Estimating of information security system costs in the protection model of the IID system

V.I. Budzko1, V.G. Belenkov2

1, 2 Federal Research Center «Computer Science» of the Russian Academy Sciences (Moscow, Russia)
1 vbudzko@frccsc.ru, 2 vbelenkov@frccsc.ru

5-18
Forming and implementing requirement models within the lifecycle of solving problems over data

N.A. Skvortsov1

1 Federal Research Center «Computer Science and Control» of the RAS (Moscow, Russia)
1 nskv@mail.ru

19-29
VEXL domain-specific language for automated verification of practical assignments with text-based answers

B.S. Ksemidov1

1 Federal Research Center “Computer Science and Control” of the Russian Academy of Sciences (Moscow, Russia)
1 sokboriswork@yandex.com

30-36
Reversible self-timed counter implementation

Yu.A. Stepchenkov1, Yu.G. Diachenko2, N.V. Morozov3, G.A. Orlov4, D.Yu. Diachenko5, G.S. Appolonov6

1–6 Federal Research Center “Computer Science and Control” of the Russian Academy of Sciences (Moscow, Russia)
1 YStepchenkov@frccsc.ru, 2 YDyachenko@frccsc.ru, 3 NMorozov@frccsc.ru,
4 GOrlov@frccsc.ru, 5 DDyachenko@frccsc.ru, 6 GAppolonov@frccsc.ru

37-44
Investigation of baseline neural network architectures and a training protocol for convolutional neural network models to improve the quality of aerial images

P.O. Arkhipov1, S.L. Philippskih2, M.V. Tsukanov3

1–3 Orel Branch of the Federal Research Center "Computer Science and Control" of the Russian Academy of Sciences (Orel, Russia)
1 arpaul@mail.ru, 2 philippsl@mail.ru, 3 tsukanov.m.v@yandex.ru

45-54
Explaining formal mathematical proofs using large language models and the SciLib knowledge graph

A.P. Khalov1, O.M. Ataeva2, N.P. Tuchkova3

1–3 FRC CSC RAS (Moscow, Russia)
1 Institute of Physics and Technology (National Research University) (Moscow, Russia)
1 khalov.a@phystech.edu, 2 oataeva@frccsc.ru, 3 ntuchkova@frccsc.ru

55-70
Research of the architecture of the distributed computing system MPI-GRID based on real-time operating systems

Yu.P. Titov1, N.S. Andrejanov2

1 FIC «Informatics and Management» RAS (Moscow, Russia)
1 Moscow Aviation Institute (Moscow, Russia)
2 Federal State Unitary Enterprise Scientific and Production Enterprise "Gamma" (Moscow, Russia)
1 kalengul@mail.ru, 2 nik00789030127799@bk.ru

71-84
The industrial systems transient states modeling based on incidents probabilistic analysis of failure to perform production operations

A.B. Lachikhina1, S.N. Goncharenko2

1 KF BMSTU (Kaluga, Russia)
2 NUST MISIS (Moscow, Russia)
1 lachikhinaab@bmstu.ru, 2 gsn@misis.ru

85-98
Possibilities of adequate mathematical modeling of threats in riemannian space

A.V. Volosova1, S.V. Skryl2, V.I. Terekhov3, A.I. Kanev4, M.V. Vinogradova5

1–5 Bauman Moscow State Technical University (Moscow, Russia)
1 volosova@bmstu.ru, 2 skryl@bmstu.ru, 3 terekchow@bmstu.ru, 4 aikanev@bmstu.ru, 5 vinogradova.m@bmstu.ru

99-111
Approaches to detecting destructive actions and events in information systems

V.A. Melnikov1, P.Yu. Pushkin2, A.A. Melnikova3, Yu.A. Konysheva4, D.S. Perevezentsev5, A.S. Grachev6

1 National University of Oil and Gas «Gubkin University» (Moscow, Russia)
2 FSUE NTC «Orion» (Moscow, Russia)
3 OOO «GK «Innotech» (Moscow, Russia)
4–6 RTU MIREA (Moscow, Russia)
1 melnikov.va@gubkin.ru, 2 pushkin@mirea.ru, 3 pershinaaa16@mail.ru, 4 konysheva@mirea.ru, 5 perevezentsev@mirea.ru, 6 grachyov@mirea.ru

112-125
The probability of a successful attack by a malicious actor under the operation of a web backdoor detection system

V.Е. Borovkov1, P.G. Klyucharev2

1, 2 Bauman Moscow State Technical University (Moscow, Russia)
1 vbscience@yandex.ru, 2 pk.iu8@yandex.ru

126-139