A MODEL OF CROSS-LAYER VIOLATIONS AND RECOVERY POLICIES FOR INFORMATION SYSTEMS ON A MOBILE PLATFORM

DOI: 10.31673/2412-4338.2025.038721

Abstract

The paper addresses the modeling of cross-level violations and coordinated recovery policies for information systems on a mobile platform – a class of systems that combines node mobility with intermittent connectivity, partial observability, and tight resource budgets. A unified model is proposed that considers three interrelated levels (data, processes, resources) and formally fixes their “normal” invariants and assumption–guarantee links in a windowed formulation (accounting for communication availability windows). Cross-level propagation of violations is described by an algebra based on the tropical approach with a cascade localization parameter that limits the radius of impact. A single integral survivability indicator is introduced as a two-layer monotone composition of structural (local and induced deviations), contractual (assumption–guarantee residuals), and risk (CVaR of SLO deficits) components; the indicator is interpreted as a survivability barrier in terms of the Minkowski functional and is aligned with service-level requirements. Based on the model, conditions for the correctness of recovery policies are formulated (invariant safety, monotone progress below thresholds, non-increase of contractual debts on active edges, localization of impact, cost constraints). For empirical validation, an open simulator is developed that reproduces intermittent connectivity, partial observability, and cross-level cascades; two representative policies (trigger-based and myopic) are examined and a set of reproducible metrics is recorded. The results show that the trigger-based policy reduces the average value of the single integral survivability indicator and the exceedance area over thresholds compared to the myopic policy, while ensuring full satisfaction of SLOs and zero contractual debts in the studied regimes. 

The scientific novelty lies in combining windowed contracts, the tropical algebra of cross-level violations, and a single integral survivability indicator, which together provide a hardware-agnostic, SLO-oriented framework for assessing and managing the survivability of an information system under mobile conditions.

Key words: information system; mobile platform; resilience; tropical matrix; Minkowski functional