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

V.M. Tkachov, I.V. Ruban

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


Keywords


survivability; information technology; mobile platform; interaction contract; operating mode

References


Fesenko, H., Illiashenko, O., Kharchenko, V., Kliushnikov, I., Morozova, O., Sachenko, A. &Skorobohatko, S. (2023), Flying Sensor and Edge Network-Based Advanced Air Mobility Systems: Reliability Analysis and Applications for Urban Monitoring, Drones, 7(7), article 409.

Jacobsen, R.H., Matlekovic, L., Shi, L., Malle, N., Ayoub, N., Hageman, K., Hansen, S., Nyboe, F.F. and Ebeid, E. (2023), Design of an Autonomous Cooperative Drone Swarm for Inspections of Safety Critical Infrastructure, Applied Sciences, 13(3), article 1256.

(2023), A Survey of Mobility-Aware Multi Access Edge Computing: Challenges, Use Cases and Future Directions, Ad Hoc Networks, 140, article 103044.

Koukis, G., Safouri, K. & Tsaoussidis, V. (2024), All about Delay-Tolerant Networking (DTN) Contributions to Future Internet, Future Internet, 16(4), article 129.

Enrgenç, D., Memedi, A., Fischer, M. & Dressler, F. (2025), Resilience in Edge Computing: Challenges and Concepts, Foundations and Trends in Networking, 14(4), pp. 254–340.

Tkachov, V. & Ruban, I. (2025), Integral Survivability Metric of an Information System on a Mobile Platform under Functional Cascading and Secondary Failures, Innovative Technologies and Scientific Solutions for Industries, 4(34), pp. 78–100.

Massiani, P.-F., Heim, S., Solowjow, F. & Trimpe, S. (2023), Safe Value Functions, IEEE Transactions on Automatic Control, 68(5), pp. 2743–2757.

Shaikh, S. & Jammal, M. (2024), Survey of Fault Management Techniques for Edge Enabled Distributed Metaverse Applications, Computer Networks, 254, article 110803.

Zhu, L., Fu, X., Liu, X. & Du, S. (2025), Modeling and Analysis of Cascade Failures in Industrial Internet of Things Based on Task Decomposition and Service Communities, Computers & Industrial Engineering, 206, article 111177.

Tkachov, V. & Ruban, I. (2026), Development of a Predictive Adaptive Resource Reallocation Method with Critical Process Dispatching in Information Systems on Mobile Platforms, Eastern-European Journal of Enterprise Technologies, 1(3(139)), pp. 6–23.

Alomari, Z., Zhani, M.F., Aloqaily, M. & Bouachir, O. (2023), On Ensuring Full Yet Cost-Efficient Survivability of Service Function Chains in NFV Environments, Journal of Network and Systems Management, 31, article 45.

Takdir, Kitagawa, H. & Amagasa, T. (2025), Local Recovery and Partial Snapshot in Distributed Stateful Stream Processing, Knowledge and Information Systems, 67, pp. 9407–9435.

Boluda-Prieto, M., Mateo-Casali, M.A., Fraile, F. & Alarcón, F. (2026), Resilient Edge-to Cloud Architecture with Self-Healing and Self-Correcting Mechanisms for Industrial Data Continuity, Computers & Industrial Engineering, 213, article 111795.

Golpayegani, F., Chen, N., Afraz, N., Gyamfi, E., Malekjafarian, A., Schäfer, D. & Krupitzer, C. (2024), Adaptation in Edge Computing: A Review on Design Principles and Research Challenges, ACM transactions on Autonomous and Adaptive Systems, 19(3), Article 19, pp. 1–43.

Nunes, J.P.K.S., Nejati, S., Sabetzadeh, M. & Nakagawa, E.Y. (2024), Self-Adaptive, Requirements-Driven Autoscaling of Microservices, in Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. New York: Association for Computing Machinery, pp. 168–174.

Moura, J. & Hutchison, D. (2022), Resilience Enhancement at Edge Cloud Systems, IEEE Access, 10, pp. 45190–45206.

Shali, B.M., van der Schaft, A. & Besselink, B. (2023), Composition of Behavioural Assume–Guarantee Contracts, IEEE Transactions on Automatic Control, 68(10), pp. 5991–6006.

Kröger, J., Koopmann, B., Stierand, I. & Fränzle, M. (2024), Contract-Based Specification of Mode-Dependent Timing Behavior, Innovations in Systems and Software Engineering, 20, pp. 31–47. DOI:

Loconte, D., Ieva, S., Pinto, A., Loseto, G., Scioscia, F. & Ruta, M. (2024), Expanding the Cloud-to-Edge Continuum to the IoT in Serverless Federated Learning, Future Generation Computer Systems, 155, pp. 447-462.

Roda-Sanchez, L., Garrido-Hidalgo, C., Royo, F., Maté-Gómez, J.L., Olivares, T. & Fernández-Caballero, A. (2023), Cloud–Edge Microservices Architecture and Service Orchestration: An Integral Solution for a Real-World Deployment Experience, Internet of Things, 22, Article 100777.

Horbulin, V.P. & Dodonov, O.G. (2026), On the Survival of Automated Organizational Management Systems, Electronic Modeling, 48(2), pp. 24–50.


Refbacks

  • There are currently no refbacks.