1 documents found
Information × Registration Number 0419U004683, Candidate dissertation Status Кандидат технічних наук Date 25-10-2019 popup.evolution o 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. Description 1. Об’єкт дослідження – процеси оцінювання та управління виконанням вимог до функціональної безпеки інформаційно-керуючих систем (ІКС); мета дослідження – забезпечення повноти перевірки виконання вимог і підвищення функціональної безпеки ІКС АЕС; методи дослідження: теорія класифікацій, представлення і перетворення фасетно-ієрархічних структур, методи теорії множин і метричного аналізу, методи теорії надійності та марковських випадкових процесів з дискретними станами і безперервним часом; результати – моделі та методи інформаційної технології оцінювання виконання вимог до функціональної безпеки ІКС АЕС; новизна – вперше запропоновано метод оцінювання та управління виконанням вимог до функціональної безпеки ІКС на програмованих платформах, який на відміну від відомих базується на мульти-V-моделі життєвого циклу, процедурі декомпозиції множини вимог по його процесам і етапам та метриках нев’язок і повернення, що дозволяє здійснювати оперативне оцінювання і коригування невідповідностей вимогам та забезпечити необхідну повноту їх перевірок і зниження часових витрат; вдосконалено моделі представлення та перетворення вимог до ІКС та їх програмно-апаратних компонентів, що дозволяють виконувати формальні операції над вимогами шляхом подання вербальної інформації у вигляді семантичних фасетно-ієрархічних структур і підвищити оперативність їх оброблення за рахунок автоматизації профілювання вимог; вдосконалено метод оцінювання функціональної безпеки ІКС з використанням марковських моделей шляхом корекції їх структури і параметрів за етапами життєвого циклу, який описується V-моделлю, зіставлення прогнозованого значення і формування рекомендацій щодо забезпечення відповідності функції готовності заданим вимогам, що дозволяє гарантувати їх виконання та зменшити витрати на реалізацію; дістав подальшого розвитку метод профілювання вимог до функціональної безпеки ІКС на основі розширення сценаріїв застосування та введення операцій над частковими профілями, а також використання спеціальних метрик, що дозволяє зменшити ризики невиявлення дефектів, пов’язаних із втратою, недостатньою деталізацією та некоректністю вимог.; ступінь упровадження – впроваджено у ПАТ «НВП «Радій», ТОВ «НВП «Радікс», у Національний аерокосмічний університет ім. М.Є. Жуковського «ХАІ»; галузь – системи критичного застосування Registration Date 2019-10-25 popup.nrat_date 2020-04-03 Close
Candidate dissertation
1
Andrashov Anton O.. Models and methods of information technology of NPP information and control systems functional safety requirements fulfillment assessment : Кандидат технічних наук : spec.. 05.13.06 - Інформаційні технології : presented. 2019-10-25; popup.evolution: .; National Aerospace University "Kharkiv Aviation Institute". – Харків, 0419U004683.
1 documents found

Updated: 2026-03-23