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

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

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