Оновлено: 15.04.2024
SPS G6133 Символьні методи переписування для забезпечення безпеки та надійності критичних кібер-фізичних систем
Програма НАТО "Наука заради миру та безпеки"
Координатор від ХДУ: Песчаненко Володимир Сергійович
Тривалість проєкту: 2023 - 2026
Координатор: Політехнічний університет Валенсії (Іспанія)
Бюджет: 350 000 євро
Сума гранту для ХДУ: 48 000 євро
Мета: метою цього проєкту є розробка та впровадження нових і практично корисних математичних методів, заснованих на переписуванні, для аналізу безпеки та захищеності сучасних кіберфізичних (комп'ютерних) систем. Особливістю цього проєкту є те, що розроблені в рамках проєкту методи, будуть доступними для розробників кіберфізичних систем, які можуть не мати формальної підготовки в галузі математичних методів.
Опис: проєкт спрямований на розроблення нових автоматичних математичних методів для аналізу безпеки та правильності сучасних складних кіберфізичних (комп'ютерних) систем. Кіберфізичні системи - це мережі комп'ютерів (так званих пристроїв управління), які взаємодіють з фізичними середовищем. Прикладами кіберфізичних систем є автомобілі, літаки, системи управління бойовими машинами, БПЛА, залізничні системи, інтелектуальні транспортні системи, системи промислового виробництва, електростанції тощо. Методи будуть засновані на техніці переписування символів, таких як переписування з розв'язуванням SMT та аналізом звуження, а також на методах зменшення складності, специфічних для конкретних доменів. Проєкт буде мотивований і підтверджений передовими застосуваннями, наданими промисловими партнерами, постачальником систем для атомних електростанцій.
Цей проєкт спрямований на кіберфізичні системи, тобто мережі (комп'ютерних) пристроїв, що управляють фізичними середовищами.
Партнери:
1. ХЕРСОНСЬКИЙ ДЕРЖАВНИЙ УНІВЕРСИТЕТ, Україна
2. ПОЛІТЕХНІЧНИЙ УНІВЕРСИТЕТ ВАЛЕНСІЇ, Іспанія
3. ТБІЛІСЬКИЙ ДЕРЖАВНИЙ УНІВЕРСИТЕТ ІМЕНІ ІВАНЕ ДЖАВАХІШВІЛІ, Грузія
4. УНІВЕРСИТЕТ ОСЛО, Норвегія
5. ЗАХІДНИЙ УНІВЕРСИТЕТ ТІМІШОАРИ, Румунія
6.УНІВЕРСИТЕТ ПАРИЖ XIII (УНІВЕРСИТЕТ ПАРИЖ-ПІВНІЧ), Франція
7. ПХОХАНСЬКИЙ УНІВЕРСИТЕТ НАУКИ І ТЕХНОЛОГІЇ, Південна Корея