Реєстраційний номер
0219U001924,
0117U005349
, Науково-дослідна робота
Назва роботи
Методи, програмно-апаратні засоби та інформаційні технології розроблення і модернізації гарантоздатних комп'ютерних систем, мереж та ІТ-інфраструктур
Назва етапу роботи
Керівник роботи
Харченко Вячеслав Сергійович,
Дата реєстрації
26-03-2019
Організація виконавець
Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут"
Опис етапу
Об'єкт дослідження процеси моделювання, проектування і верифікації гарантоздатних програмно-технічних комплексів і компьютеризованных систем, важливих з точки зору функціональної та кібербезпеки. Мета роботи розроблення та впровадження принципів, моделей і методів безпечної інженерії, багатоверсійного комп'ютингу і програмних технологій для зменшення ризиків відмов і аварій критичних програмно-технічних комплексів і ІТ-інфраструктур. Методи дослідження теоретичні: апарат теориї множин, автоматів, графів, ймовірності, марковських випадковх процесів, комбінаторного аналізу; експериментальні: імітаційне моделювання, системний аналіз реальних проектів. Результатами НДР У НДР одержано наступні нові наукові результати. Розроблено низку принципів, моделей та методів оцінювання гарантоздатних систем, а саме проведено: таксономічний аналіз ІТ-безпеки та гарантоздатності; аналіз та систематизацію стандартів з кібербезпеки індустріальних систем, розроблено моделі криптоперетворення даних на основі принципу диверсності; досліджено принципи побудови псевдопростих чисел; розробку методів і засобів оцінювання безпеки веб-додатків; методів моделювання фрактального трафіку інтегральних потоків даних; аналіз надійності архітектур систем аварійного відключення ядерного реактора; розробку моделей готовності медичних IoT-систем; методів оцінювання надійностi та безпеки критичних енергетичних інфраструктур, оцінювання диверсності інформаційно-керуючих систем АЕС. Розроблено та досліджено комплекс моделей та методів забезпечення гарантоздатних систем на різних етапах життєвого циклу, зокрема: досліджено методи завадостійкого кодування, як засобу забезпечення кібербезпеки енергоефективних систем; методи забезпечення біометричної автентифікації в енергоефективних системах; розроблено моделі оптимального перерозподілу мобільних повітряних об'єктів IT-інфраструктури радіаційного моніторингу, методи зниження вразливості комп'ютерних систем на основі диверсності операційних систем, засоби підвищення безпеки Cloud-додатків на основі динамичної реконфігурації середи розгортування; удосконалено методологiю Assurance Case для Інтернету речей з урахуванням вимог до iнформацiйної та функцiональної безпеки, а також методи кейс-орієнтовного оцінювання безпеки ПЛІС систем. Розроблено комплекс методів, засобів та інформаційних технологій розроблення та модернізації гарантоздатних систем та ІТ-інфраструктур, а саме: досліджено ІТ розроблення розподіленої інтегрованої системи екологічного моніторингу; засоби розробки інфраструктури проектів у контексті IoT; досліджено моделі, методи та технології розробки та интеграції FPGA-as-a-Service у складі хмарних інфраструктур; методику вибору комунікаційних протоколів обміну при передачі інформації в системах Web-of Things; розроблено програмно-апаратні засоби підтримки методів неінвазивного моніторингу і діагностики стану здоров'я людини. Наукова новизна отриманих результатів полягає у тому, що запропоновані моделі, методи і засоби, на відміну від відомих надають комплексне вирішення проблеми оцінювання та підвищення гарантоздатності інформаційно-керуючих систем та їх складових в умовах різних типів відмов і параметрів зовнішнього середовища. Це забезпечує зростання якісних та кількісних показників гарантоздатності в цілому та її складових - надійності, функціональної та інформаційної безпеки для різних типів критичних систем. Сфера використання результатів - гарантоздатні (надійні, живучі і безпечні) додатки для критичних (аерокосмічних, енергетичних, медичних) і бізнес-критичних систем, їх апаратних, програмних і мережевих компонент.
Опис продукції
проведено: таксономічний аналіз ІТ-безпеки та гарантоздатності; аналіз та систематизацію стандартів з кібербезпеки індустріальних систем, розроблено моделі криптоперетворення даних на основі принципу диверсності; досліджено принципи побудови псевдопростих чисел; розробку методів і засобів оцінювання безпеки веб-додатків; методів моделювання фрактального трафіку інтегральних потоків даних; аналіз надійності архітектур систем аварійного відключення ядерного реактора; розробку моделей готовності медичних IoT-систем; методів оцінювання надійностi та безпеки критичних енергетичних інфраструктур, оцінювання диверсності інформаційно-керуючих систем АЕС. Розроблено та досліджено комплекс моделей та методів забезпечення гарантоздатних систем на різних етапах життєвого циклу, зокрема: досліджено методи завадостійкого кодування, як засобу забезпечення кібербезпеки енергоефективних систем; методи забезпечення біометричної автентифікації в енергоефективних системах; розроблено моделі оптимального перерозподілу мобі
Автори роботи
Боярчук Артем Володимирович
Брежнєв Євген Віталійович
Колісник Марина Олександрівна
Коробков Микола Григорович
Лисенко Ігор Владимирович
Орєхов Олександр Олександрович
Піскачов Олександр Іванович
Тарасюк Ольга Михайлівна
Узун Дмитро Дмитрович
Фесенко Герман Вікторович
Харченко Вячеслав Сергійович
Додано/оновлено в НРАТ
2020-04-02
