Проаналізовано програмне забезпечення (ПЗ) інформаційно-управляючих систем (ІУС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Введено поняття оперативної коригувальної верифікації (ОКВ), яка може проводитися за різними сценаріями для функцій різного рівня критичності. Визначено етапи й операції верифікації ПЗ ІУС КС на різних етапах. Надано детальний опис операцій етапу розробки ПЗ ІУС КС. Надано формальний опис цілей верифікації ПЗ ІУС КС. Уточнено цілі оперативної коригувальної верифікації ПЗ в польоті, і запропоновано теоретико-множинний опис функцій з урахуванням їх критичності й цілей ОКВ. Описано сценарії й показники для оцінки готовності ІУС КС під час реалізації ОКВ. Надано опис моделей готовності. Визначено поняття стратегії ОКВ та особливості її формування. Проведено розробку та дослідження моделі готовності однієї з систем з ОКВ.

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

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