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

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Харченко Вячеслав Сергійович (технічні науки)
• Харченко Валентина Сергіївна (технічні науки)
• Харченко Віталіна Сергіївна (біологічні науки)

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