УДК 681.3.068 МЕТОДИКА ОЦЕНКИ ПРАВИЛЬНОСТИ И УСТОЙЧИВОСТИ К ОШИБКАМ СПЕЦИАЛЬНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ВОЕННОГО НАЗНАЧЕНИЯ А. А. <...> Бойко, В. Ю. Храмов Федеральное государственное учреждение «Федеральный государственный научно-исследовательский испытательный центр радиоэлектронной борьбы и оценки эффективности снижения заметности» Министерства обороны Российской Федерации Рассмотрены основные положения методики оценки правильности и устойчивости к ошибкам специального программного обеспечения автоматизированных систем военного назначения и результаты ее практического применения на этапе проведения государственных испытаний. <...> ВВЕДЕНИЕ Вопросы качества принимаемого на вооружение программного обеспечения становятся для специалистов заказывающих подразделений Минобороны России все более актуальными по мере того, как современные образцы вооружения и военной техники (ВВТ) наращивают свой интеллектуальный потенциал и непосредственно связанную с ним боевую мощь, обеспечивающую эффективное выполнение боевых задач в условиях современных вооруженных конфликтов. <...> Интеллектуализация образцов ВВТ сегодня обеспечивается применением не только современных методов и средств ведения боевых действий, но и внедрением автоматизированных систем (АС), необходимых как для поддержки принятия решения командиром, так и для принятия частично или полностью самостоятельного решения о боевом применении объектов ВВТ. <...> В таких условиях от работы АС полностью зависит качество функционирования объекта ВВТ, который она обеспечивает, поскольку сбой в ее работе на любом этапе принятия решения способен привести к различным катастрофическим последствиям. <...> Анализ декомпозиции современных АС военного назначения (ВН) на составные элементы при условии наличия требуемого уровня подготовки у персонала, обслуживающего сертифицированные технические средства автоматизации <...>