Андрашов А. О. Моделі та методи інформаційної технології оцінювання виконання вимог до функціональної безпеки інформаційно-керуючих систем АЕС

1. Об’єкт дослідження – процеси оцінювання та управління виконанням вимог до функціональної безпеки інформаційно-керуючих систем (ІКС); мета дослідження – забезпечення повноти перевірки виконання вимог і підвищення функціональної безпеки ІКС АЕС; методи дослідження: теорія класифікацій, представлення і перетворення фасетно-ієрархічних структур, методи теорії множин і метричного аналізу, методи теорії надійності та марковських випадкових процесів з дискретними станами і безперервним часом; результати – моделі та методи інформаційної технології оцінювання виконання вимог до функціональної безпеки ІКС АЕС; новизна – вперше запропоновано метод оцінювання та управління виконанням вимог до функціональної безпеки ІКС на програмованих платформах, який на відміну від відомих базується на мульти-V-моделі життєвого циклу, процедурі декомпозиції множини вимог по його процесам і етапам та метриках нев’язок і повернення, що дозволяє здійснювати оперативне оцінювання і коригування невідповідностей вимогам та забезпечити необхідну повноту їх перевірок і зниження часових витрат; вдосконалено моделі представлення та перетворення вимог до ІКС та їх програмно-апаратних компонентів, що дозволяють виконувати формальні операції над вимогами шляхом подання вербальної інформації у вигляді семантичних фасетно-ієрархічних структур і підвищити оперативність їх оброблення за рахунок автоматизації профілювання вимог; вдосконалено метод оцінювання функціональної безпеки ІКС з використанням марковських моделей шляхом корекції їх структури і параметрів за етапами життєвого циклу, який описується V-моделлю, зіставлення прогнозованого значення і формування рекомендацій щодо забезпечення відповідності функції готовності заданим вимогам, що дозволяє гарантувати їх виконання та зменшити витрати на реалізацію; дістав подальшого розвитку метод профілювання вимог до функціональної безпеки ІКС на основі розширення сценаріїв застосування та введення операцій над частковими профілями, а також використання спеціальних метрик, що дозволяє зменшити ризики невиявлення дефектів, пов’язаних із втратою, недостатньою деталізацією та некоректністю вимог.; ступінь упровадження – впроваджено у ПАТ «НВП «Радій», ТОВ «НВП «Радікс», у Національний аерокосмічний університет ім. М.Є. Жуковського «ХАІ»; галузь – системи критичного застосування