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

Системи управління, навігації та зв'язку [Текст] : зб. наук. праць / ДП "Центр. наук. - дослід. ін-т навігації і упр.". — К. : ДП "Центр. наук. - дослід. ін-т навігації і упр.", 2012. — 278 с.

• УДК // Бортові системи наведення, управління та навігації, бортові прилади
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• Праці співробітників ХАІ // Харченко В.С./Kharchenko V.S.
• УДК // Якість систем і програмного забезпечення