МОДЕЛІ ТА ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ ЗАБЕЗПЕЧЕННЯ ГОТОВНОСТІ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ КОСМІЧНИХ АПАРАТІВ З ОПЕРАТИВНОЮ ВЕРИФІКАЦІЄЮ І ОНОВЛЕННЯМ

Краткое содержание

ОСНОВНИЙ ЗМІСТ РОБОТИ

Вступ дисертаційної роботи містить: обґрунтування актуальності теми й науко­вих задач; інформацію про зв'язок роботи з науковими програмами; мету й задачі до­слідження; об'єкт, предмет і методи дослідження; характеристику наукової новизни й практичного значення отриманих результаті , а також особистого неску здобу ача; дані щодо реалізації, апробації та публікації результаті .

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

·                    на сьогоднішній день управління сучасними космічними апаратами здійс­нюється ІУС, до яких застосовуються високі вимоги функціональної безпеки і на­дійності (коефіцієнт гото ності до 0,99999);

·                    проведений аналіз дозволив виділити окремі типові групи ПЗ ІУС КА, вста­новити взаємозв‘язки між ними та відокремити ПЗ, що не вплив ає на функціональну безпеку ІУС, розглянути принципи ОВ на прикладі схеми ІУС КА (рис.1);

·                    найбільш ефективними методами забезпечення надійності і безпеки є засто­сування програмно-апаратних рішень, що пройшли повну верифікацію системних функцій, та при цьому верифікація окремих функцій в наземних умовах вимагає ве­ликих витрат і з урахув анням некритичності і можливості модифікації або виправ - лення після запуску КА на орбіту;

·                    визначено необхідність удосконалюв ати існуючі і розробляти нові методи верифікації ПЗ ІУС в процесі застосування КА за призначенням. Таку верифікацію позначено як оперативну в ерифікацію (ОВ) програмного забезпечення. Якщо за ре­зультатами здійснюється корекція ПЗ, то верифікацію називають оперативною ко­ригуючою (ОКВ);

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