Модель порушень, політик відновлення та локалізації у просторі станів процесного рівня інформаційної системи на мобільній платформі

Автор(и)

DOI:

https://doi.org/10.24144/2616-7700.2025.47(2).253-266

Ключові слова:

інформаційна система, процес, локалізація, критерій коректності, оператор переходу, живучість

Анотація

У роботі запропоновано удосконалену модель процесного рівня з простором станів, що описується чотирма змінними: обсяг черги, часовий запас до дедлайну, валідність даних, дотримання причинно-часового порядку. Усі вимоги об’єднано в інтегральний бар’єрний показник, додатково введено показник локальності як радіус впливу відхилень. Порушення формалізовано як оператори переходів, що дає змогу кількісно оцінювати їхній внесок у деградацію. Розроблено R/L-політику, яка під частковою спостережуваністю обирає дії з гарантованим підвищенням бар’єра і пріоритетом локалізації. Сформульовано критерії коректності та умови здійсненності за заданих бюджетів часу і ресурсів. Реалізовано стенд і виконано експериментальні дослідження для двох профілів навантаження. Результати дослідження підтверджують застосовність і відтворюваність підходу та демонструють скорочення типового часу відновлення і кращу локалізацію відхилень.

Біографії авторів

І. В. Рубан, Харківський національний університет радіоелектроніки

Професор кафедри електронних обчислювальних машин. Доктор технічних наук, професор

В. М. Ткачов, Харківський національний університет радіоелектроніки

Докторант кафедри електронних обчислювальних машин. Кандидат технічних наук, доцент

Посилання

  1. Kompaniyets, O. M. (2025). Information technology for adaptive control of a swarm of unmanned aerial vehicles in an antagonistic environment. Information processing systems, 4(179), 43–48. https://doi.org/10.30748/soi.2024.179.04 [in Ukrainian].
  2. Dodonov, O. G., Putyatin, V. G., Dodonov, V. O., Kutsenko, S. A., Germanyuk, A. P., Izvaryn, I. V., & Kravchuk, K. O. (2024). Technology for ensuring the survivability of territorially distributed information computer systems in a single information space. Data registration, storage and processing, 26(1), 121–143. https://doi.org/10.35681/1560-9189.2024.26.1.308659 [in Ukrainian].
  3. Kolisnyk, M., Piskachova, I., & Kharchenko, V. (2024). Reliability Models of Diverse Majority-redundant Systems with Threshold Adaptation. In: 2024 14th International Conference on Dependable Systems, Services and Technologies (DESSERT). IEEE, 1–7. https://doi.org/10.1109/dessert65323.2024.11122217
  4. Hafaiedh, I. B., & Slimane, M. B. (2022). A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery. The Journal of Supercomputing, 78, 18725–18753. https://doi.org/10.1007/s11227-022-04614-0
  5. Derick Musundi Kesa (2023). Ensuring resilience: Integrating IT disaster recovery planning and business continuity for sustainable information technology operations. World Journal of Advanced Research and Reviews, 18(3), 970–992. https://doi.org/10.30574/wjarr.2023.18.3.1166
  6. Jawaddi, S. N. A., Johari, M. H., & Ismail, A. (2022). A review of microservices autoscaling with formal verification perspective. Software: Practice and Experience, 52(11), 2476–2495. https://doi.org/10.1002/spe.3135
  7. Geh´er, G. P., McLauchlan, C., Campbell, E. T., Moylett, A. E., & Crawford, O. (2024). Error-corrected Hadamard gate simulated at the circuit level. Quantum, 8, 1394. https://doi.org/10.22331/q-2024-07-02-1394
  8. Garc´ia, A. (2025). Greedy algorithms: a review and open problems. Journal of Inequalities and Applications, 2025(11). https://doi.org/10.1186/s13660-025-03254-1
  9. Tkachov, V. (2025). GitHub - tikey/rlshield-sim-profiles. GitHub. Retrieved from https://github.com/tikey/rlshield-sim-profiles
  10. Tkachov, V. (2025). RLShield-sim: experimental results (hard and tuned profiles, 50×2 episodes). Zenodo. https://doi.org/10.5281/zenodo.17180073 [in Ukrainian].

##submission.downloads##

Опубліковано

2025-10-28

Як цитувати

Рубан, І. В., & Ткачов, В. М. (2025). Модель порушень, політик відновлення та локалізації у просторі станів процесного рівня інформаційної системи на мобільній платформі. Науковий вісник Ужгородського університету. Серія «Математика і інформатика», 47(2), 253–266. https://doi.org/10.24144/2616-7700.2025.47(2).253-266

Номер

Том 47 № 2 (2025)

Розділ

Iнформатика, комп’ютернi науки та прикладна математика

Ліцензія

Авторське право (c) 2025 І. В. Рубан, В. М. Ткачов

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.

Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.