Досліджено багатофрагментну модель двоканальної (дубльованої) інформаційно-керуючої системи пілотованого космічного апарату. При побудові моделі враховано проведення оперативної онлайн-верифікації окремих функцій програмних засобів в процесі експлуатації системи з подальшим усуненням виявлених програмних дефектів. Запропоновано алгоритм побудови моделі на основі визначення множин станів і механізмів взаємодії. Для оцінювання функції готовності виконано розрахунок і дослідження марковської моделі для різних наборів вихідних даних. За результатами моделювання зроблено висновки про вплив часових параметрів проведення онлайн-верифікації на швидкість усунення дефектів і мінімальне значення функції готовності.

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

---

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

• Харченко Вячеслав Сергійович (технічні науки)
• Харченко Валентина Сергіївна (технічні науки)
• Харченко Віталіна Сергіївна (біологічні науки)
• Поночовний Юрій Леонідович (технічні науки)
• Боярчук Артем Володимирович (технічні науки)
• Боярчук Андрій Володимирович (історичні науки)

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