Пошук академічних текстів

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