Обеспечение живучести сложной технической системы в специальных условиях

Цель исследования - разработка алгоритма обеспечения живучести сложной технической системы в специальных условиях. При проведении исследования были применены принципы и методы системного анализа, формальной верификации и математический аппарат темпоральной логики действий. В результате исследования был разработан алгоритм поиска логических ошибок в проектном решении и программном обеспечении сложной технической системы, базирующийся на темпоральной логике. Отличительными особенностями алгоритма являются возможность формальной верификации проектного решения по системе и наличие механизма обеспечения согласованности проектного решения и реализации. Алгоритм целесообразно применять для обеспечения живучести как вновь разрабатываемых систем на этапах проектирования и ввода в действие, так и уже существующих систем на этапе сопровождения.

The objective of the research presented in this article was to develop an algorithm for ensuring the survivability of a complex technical system under special conditions. The principles and methods of system analysis, formal verification and mathematical apparatus of temporal logic of actions were applied in the research. As a result of the study, an algorithm for searching logical errors in the design solution and software of a complex technical system based on temporal logic was developed. The distinguishing features of the algorithm include the capacity for formal verification of the design solution within the system and the incorporation of a mechanism to ensure the consistency of the design solution and implementation. The application of this algorithm is recommended for the assurance of survivability, encompassing both newly developed systems during the design and commissioning stages, and existing systems during the maintenance stage.