ЭЛЕМЕНТЫ МЕТОДОЛОГИИ ОПЕРАТИВНОЙ КОРРЕКТИРУЮЩЕЙ ВЕРИФИКАЦИИ ПРОГРАММНЫХ СРЕДСТВ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ КОСМИЧЕСКИХ АППАРАТОВ

В.С. Харченко, Н.В. Замирец, С.А. Засуха, Ю.Л. Поночовный

Проведен анализ программного обеспечения (ПО) информационно-управляющих систем (ИУС) космических систем (КС) как объекта верификации, нормативной базы и существующих методов верификации ПО КС. Введено понятие оперативной корректирующей верификации (ОКВ), которая может проводиться по разным сценариям для функций разного уровня критичности. Определены этапы и операции по верификации ПО ИУС КС на разных этапах. Дано детальное описание операций этапа разработки ПО ИУС КС. Дано формальное описание целей верификации ПО ИУС КС. Уточнены цели оперативной ОКВ ПО в полете, и предложено теоретико-множественное описание функций с учетом их критичности и целей ОКВ. Описаны сценарии и показатели для оценки готовности ИУС КС при реализации ОКВ. Дано краткое описание моделей готовности для разных сценариев ОКВ. Определены понятие стратегии ОКВ и особенности ее формирования. Разработана и исследована модель готовности одной из систем с ОКВ.

Ключевые слова: ИУС космических систем, программное обеспечение, оперативная корректирующая верификация, модели готовности