Architectural and functional organization of information technology for ensuring the survivability of an information system on a mobile platform

Abstract

The article addresses the scientific problem of the architectural and functional organization of information tech nology for ensuring the survivability of information systems on mobile platforms under intermittent connectivity, variable resource availability, and incomplete state data. The purpose of the study is to determine the composition of functional components, their interaction, operating modes, and conditions for completing the technological cycle. The formal description uses a set-theoretic approach, tuple representation, a correspondence relation be tween models, methods, functions, and components, assumption–guarantee contracts, and functional modeling tools. The technology includes components for forming a system-state representation, assessing survivability, forecasting disturbances, generating and selecting control actions, controlling execution, redundancy, recovery, maintaining data consistency, logging, and storing information. The transmitted data, conditions for their ac ceptance and use, result properties, permissible interval of use, resource requirements, version and control-cycle identification, and processing confirmation procedures are formalized. Conditions for the compatibility of se quential contracts are established, and three states of a control action are defined: confirmed completion, con trolled deferral, and rejection. Normal, precritical, autonomous, recovery, and controlled degradation modes are introduced. The scientific novelty lies in combining the mapping of models and methods to technology compo nents, coordination of component interaction through contracts, mode-dependent configuration changes, and formal conditions for completing the technological cycle. Results provide a basis for software implementation and experimental evaluation.

Problems in programming 2026; 3: 4-19