Наукові проєкти

Теоретичні основи забезпечення живучості надкритичних комп’ютерних систем реального часу з динамічною реконфігурацією архітектури

Як перевести керовану деградацію, яку практика десятиліттями виконує вручну, з експертного рішення в розрахункове?

Мета. Розв’язання актуальної науково-прикладної проблеми забезпечення безперервності функціонування надкритичних комп’ютерних систем реального часу шляхом розроблення теоретичних основ динамічної реконфігурації їх архітектури, у яких апаратні та епістемічні компоненти системи описуються єдиною мірою працездатності, а послідовність перебудов архітектури підпорядкована критеріям допустимості, обчислюваним на етапі проєктування.

Об’єкт. Процес реконфігурації надкритичної комп’ютерної системи реального часу в умовах деградації її апаратних та епістемічних ресурсів.

Предмет. Кількісні критерії допустимості реконфігурації — міра спроможності системи у деградованій конфігурації, поріг довіри до власних моделей середовища та нижня межа інтервалу між перебудовами архітектури — та програмно-апаратні засоби їх реалізації у структурно-алгоритмічній організації таких систем.

Ідентифікація переходу до закритичного режиму роботи робототехнічної системи

Як виявити момент, коли робот уже не може вважатися номінально працездатним?

Прикладне дослідження методів та ідентифікаторів, які виявляють перехід до закритичного стану. Результат має стати основою для вибору способу відновлення або безпечного продовження роботи.

Методи і моделі забезпечення безпеки та діагностики критичних параметрів у складних системах з використанням IoT

Як своєчасно помітити небезпечні зміни у складній системі за даними сенсорів?

Фундаментальний напрям: моніторинг критичних параметрів, діагностика та адаптація поведінки систем на основі IoT. Реєстраційна картка описує мету та заплановані етапи, а не сертифіковані результати.