Харченко В. С. Оперативная верификация и коррекция программного обеспечения ИУС космических систем. Критичность функций и этапы верификации / В. С. Харченко, Н. В. Замирец, С. А. Засуха // Системи упр., навігації та зв'язку. - 2011. - Вип. 3. - С. 124-130. - Библиогр.: 18 назв. - рус.Проведен анализ программного обеспечения (ПО) информационно-управляющих систем космических систем (ИУС КС) как объекта верификации, нормативной базы и существующих методов верификации ПО КС. Введено понятие оперативной корректирующей верификации (ОКВ), которая может проводиться по разным сценариям для функций разного уровня критичности. ОКВ проведена в условиях полета, когда не может быть обеспечена требуемая достоверность проверки, или для тех функций, проверка которых в наземных условиях невозможна или нецелесообразна по экономическим соображениям при обеспечении требований по надежности и безопасности. Определены этапы и операции по верификации ПО ИУС КС на разных стадиях жизненного цикла. Дано детальное описание операций этапа разработки ПО ИУС КС. Індекс рубрикатора НБУВ: О62-05
Рубрики:
Шифр НБУВ: Ж73223 Пошук видання у каталогах НБУВ
Повний текст Наукова періодика України Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|