Вперше розроблено моделі сценаріїв оперативної верифікації інформаційно-управляючих систем космічних апаратів, які на відміну від відомих враховують критичність функцій, можливості проведення верифікації й оновлення програмних засобів у польоті, що дозволяє сформувати множину моделей готовності інформаційно-управляючих систем і варіантів їх організації. Вдосконалено математичні моделі готовності інформаційно-управляючих систем космічних апаратів з урахуванням виявлення й усунення проектних дефектів, а також оновлення програмних засобів, що дозволяє підвищити точність оцінювання показників готовності та сформулювати рекомендації з вибору значень вхідних параметрів для забезпечення її необхідного рівня. Набув подальшого розвитку метод вибору оптимального варіанту проведення верифікації й оновлення програмних засобів інформаційно-управляючих систем космічних апаратів в процесі застосування за критерієм "готовність-вартість", що дозволяє знизити витрати у разі забезпечення заданого рівня готовності.

• Засуха Сергій Олексійович (технічні науки)

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