аспирант технических наук;
graduate student of technical sciences;
Актуальность выбранной темы обусловлена растущими требованиями к надежности специального программного обеспечения (ПО) в многопроцессорных вычислительных системах комплексов автоматизированного управления (КСАУ) тактического звена. В условиях современных военных операций такие системы подвергаются высоким нагрузкам, включая параллельные процессы и жесткие требования реального времени, где даже единичный дефект может привести к критическим сбоям. Верификация выступает ключевым средством обеспечения бездефектного функционирования, минимизируя риски и повышая устойчивость к внешним угрозам. Целью исследования является разработка комплексной методологии верификации специального ПО для многопроцессорных систем КСАУ тактического звена, гарантирующей отсутствие дефектов на всех этапах жизненного цикла - от проектирования до эксплуатации. Эта методология интегрирует формальные методы проверки (model checking), динамическое тестирование и критерии кибериммунитета, адаптированные к особенностям тактического уровня управления. Научная новизна заключается в предложенном подходе, сочетающем статический анализ моделей с реального времени мониторингом целостности ПО в многопроцессорной среде. В отличие от традиционных методов, новая методология учитывает специфику межпроцессорного обмена и распределенных вычислений в КСАУ, вводя поддающиеся количественной оценке критерии верификации для приобретенного кибериммунитета. Практическая значимость проявляется в возможности прямого внедрения разработанных методов для повышения надежности существующих КСАУ тактического звена, что соответствует стандартам ГОСТ Р 51901.3-2002 и снижает эксплуатационные риски в боевых системах. Применение позволит сократить время на отладку и повысить общую боеготовность комплексов. Перспективы применения включают интеграцию в отечественные платформы вроде архитектуры «Эльбрус», а также адаптацию для других военных вычислительных систем с жесткими требованиями реального времени, способствуя дальнейшему развитию автоматизированных систем управления
The relevance of the chosen topic stems from the growing requirements for the reliability of special software (SW) in multiprocessor computing systems of tactical-level automated control complexes (KS AU). In modern military operations, such systems face high loads, including parallel processes and strict real-time requirements, where even a single defect can lead to critical failures. Verification serves as a key means to ensure defect-free operation, minimizing risks and enhancing resilience to external threats. The research aims to develop a comprehensive verification methodology for special SW in multiprocessor KS AU systems at the tactical level, guaranteeing defect-free performance across all lifecycle stages—from design to operation. This methodology integrates formal verification methods (model checking), dynamic testing, and cyberimmunity criteria tailored to the specifics of tactical-level control. The scientific novelty lies in the proposed approach combining static model analysis with real-time integrity monitoring of SW in a multiprocessor environment. Unlike traditional methods, the new methodology accounts for the specifics of inter-processor exchange and distributed computing in KS AU, introducing quantifiable verification criteria for acquired cyberimmunity. The practical significance is evident in the potential for direct implementation of the developed methods to enhance the reliability of existing tactical-level KS AU systems, aligning with GOST R 51901.3-2002 standards and reducing operational risks in combat systems. Application will shorten debugging time and improve overall combat readiness of the complexes. Prospects for application include integration into domestic platforms such as the Elbrus architecture, as well as adaptation for other military computing systems with stringent real-time requirements, contributing to the further development of automated control systems