МОДЕЛЬ МІЖРІВНЕВИХ ПОРУШЕНЬ ТА ПОЛІТИК ВІДНОВЛЕННЯ ІНФОРМАЦІЙНОЇ СИСТЕМИ НА МОБІЛЬНІЙ ПЛАТФОРМІ
DOI: 10.31673/2412-4338.2025.038721
Анотація
Стаття присвячена моделюванню міжрівневих порушень та узгоджених політик відновлення для інформаційних систем на мобільній платформі як класу систем, що поєднує мобільність вузлів із переривчастою зв’язністю, частковою спостережуваністю та жорсткими ресурсними бюджетами. Запропоновано цілісну модель, яка розглядає три взаємопов’язані рівні (дані, процеси, ресурси) та формально фіксує їх «нормальні» інваріанти й зв’язки типу «припущення–гарантія» у віконній постановці (з урахуванням «вікон доступності» зв’язку). Міжрівневе поширення порушень описано алгеброю на основі тропічного підходу з параметром локалізації каскадів, що обмежує радіус впливу. Уведено єдиний інтегральний показник живучості, який є двошаровою монотонною композицією структурної (локальні та індуковані відхилення), контрактної (залишки припущення–гарантія) та ризикової (CVaR дефіцитів SLO) складових; показник інтерпретується як бар’єр живучості у термінах функціоналу Мінковського й узгоджується з вимогами сервісних рівнів. На основі моделі сформульовано умови коректності політик відновлення (безпека інваріантів, монотонний прогрес під пороги, незростання контрактних боргів на активних ребрах, локалізованість впливу, обмеження вартості). Для емпіричної валідації розроблено відкритий симулятор, який відтворює переривчастий зв’язок, часткову спостережуваність і міжрівневі каскади; досліджено дві репрезентативні політики (тригерну та міопічну) й зафіксовано набір відтворюваних метрик. Результати показують, що тригерна політика знижує середній рівень єдиного інтегрального показника живучості та площу перевищення порогів порівняно з міопічною при забезпеченні повного виконання SLO і нульових контрактних боргів у досліджених режимах.
Наукова новизна полягає у поєднанні віконних контрактів, тропічної алгебри міжрівневих порушень та єдиного інтегрального показника живучості, що забезпечують апаратно-незалежну, SLO-орієнтовану рамку оцінювання й керування живучістю інформаційної системи в мобільних умовах.
Ключові слова: інформаційна система, мобільна платформа, живучість, тропічна матриця, функціонал Мінковського.
