Registration Number
0419U004683, Candidate dissertation
Status
Кандидат технічних наук
Date
25-10-2019
popup.evolution
.
Title
Models and methods of information technology of NPP information and control systems functional safety requirements fulfillment assessment
Author
Andrashov Anton O.,
popup.head Kharchenko Vyacheslav S.
popup.opponent Docenko Sergiy I.
popup.opponent Maevsky Dmytro A.
popup.rada
National Aerospace University "Kharkiv Aviation Institute"
Description
1. Об’єкт дослідження – процеси оцінювання та управління виконанням вимог до функціональної безпеки інформаційно-керуючих систем (ІКС); мета дослідження – забезпечення повноти перевірки виконання вимог і підвищення функціональної безпеки ІКС АЕС; методи дослідження: теорія класифікацій, представлення і перетворення фасетно-ієрархічних структур, методи теорії множин і метричного аналізу, методи теорії надійності та марковських випадкових процесів з дискретними станами і безперервним часом; результати – моделі та методи інформаційної технології оцінювання виконання вимог до функціональної безпеки ІКС АЕС; новизна – вперше запропоновано метод оцінювання та управління виконанням вимог до функціональної безпеки ІКС на програмованих платформах, який на відміну від відомих базується на мульти-V-моделі життєвого циклу, процедурі декомпозиції множини вимог по його процесам і етапам та метриках нев’язок і повернення, що дозволяє здійснювати оперативне оцінювання і коригування невідповідностей вимогам та забезпечити необхідну повноту їх перевірок і зниження часових витрат; вдосконалено моделі представлення та перетворення вимог до ІКС та їх програмно-апаратних компонентів, що дозволяють виконувати формальні операції над вимогами шляхом подання вербальної інформації у вигляді семантичних фасетно-ієрархічних структур і підвищити оперативність їх оброблення за рахунок автоматизації профілювання вимог; вдосконалено метод оцінювання функціональної безпеки ІКС з використанням марковських моделей шляхом корекції їх структури і параметрів за етапами життєвого циклу, який описується V-моделлю, зіставлення прогнозованого значення і формування рекомендацій щодо забезпечення відповідності функції готовності заданим вимогам, що дозволяє гарантувати їх виконання та зменшити витрати на реалізацію; дістав подальшого розвитку метод профілювання вимог до функціональної безпеки ІКС на основі розширення сценаріїв застосування та введення операцій над частковими профілями, а також використання спеціальних метрик, що дозволяє зменшити ризики невиявлення дефектів, пов’язаних із втратою, недостатньою деталізацією та некоректністю вимог.; ступінь упровадження – впроваджено у ПАТ «НВП «Радій», ТОВ «НВП «Радікс», у Національний аерокосмічний університет ім. М.Є. Жуковського «ХАІ»; галузь – системи критичного застосування
Registration Date
2019-11-01
popup.nrat_date
2020-04-03 / 2026-06-30
