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

  Повний текст PDF - 215.662 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"