Реєстраційний номер
0419U004683, Кандидатська дисертація
На здобуття
Кандидат технічних наук
Дата захисту
25-10-2019
Статус
Захищена
Назва роботи
Моделі та методи інформаційної технології оцінювання виконання вимог до функціональної безпеки інформаційно-керуючих систем АЕС
Здобувач
Андрашов Антон Олександрович,
Керівник Харченко Вячеслав Сергійович
Опонент Доценко Сергій Ілліч
Опонент Маєвський Дмитро Андрійович
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут"
Опис
1. Об’єкт дослідження – процеси оцінювання та управління виконанням вимог до функціональної безпеки інформаційно-керуючих систем (ІКС); мета дослідження – забезпечення повноти перевірки виконання вимог і підвищення функціональної безпеки ІКС АЕС; методи дослідження: теорія класифікацій, представлення і перетворення фасетно-ієрархічних структур, методи теорії множин і метричного аналізу, методи теорії надійності та марковських випадкових процесів з дискретними станами і безперервним часом; результати – моделі та методи інформаційної технології оцінювання виконання вимог до функціональної безпеки ІКС АЕС; новизна – вперше запропоновано метод оцінювання та управління виконанням вимог до функціональної безпеки ІКС на програмованих платформах, який на відміну від відомих базується на мульти-V-моделі життєвого циклу, процедурі декомпозиції множини вимог по його процесам і етапам та метриках нев’язок і повернення, що дозволяє здійснювати оперативне оцінювання і коригування невідповідностей вимогам та забезпечити необхідну повноту їх перевірок і зниження часових витрат; вдосконалено моделі представлення та перетворення вимог до ІКС та їх програмно-апаратних компонентів, що дозволяють виконувати формальні операції над вимогами шляхом подання вербальної інформації у вигляді семантичних фасетно-ієрархічних структур і підвищити оперативність їх оброблення за рахунок автоматизації профілювання вимог; вдосконалено метод оцінювання функціональної безпеки ІКС з використанням марковських моделей шляхом корекції їх структури і параметрів за етапами життєвого циклу, який описується V-моделлю, зіставлення прогнозованого значення і формування рекомендацій щодо забезпечення відповідності функції готовності заданим вимогам, що дозволяє гарантувати їх виконання та зменшити витрати на реалізацію; дістав подальшого розвитку метод профілювання вимог до функціональної безпеки ІКС на основі розширення сценаріїв застосування та введення операцій над частковими профілями, а також використання спеціальних метрик, що дозволяє зменшити ризики невиявлення дефектів, пов’язаних із втратою, недостатньою деталізацією та некоректністю вимог.; ступінь упровадження – впроваджено у ПАТ «НВП «Радій», ТОВ «НВП «Радікс», у Національний аерокосмічний університет ім. М.Є. Жуковського «ХАІ»; галузь – системи критичного застосування
Дата реєстрації
2019-11-01
Додано/оновлено в НРАТ
2020-04-03 / 2026-06-30
