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

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